diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2017-12-23 01:08:45 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2017-12-23 01:09:17 +0000 |
commit | 0ac42fb77773e15b13f1ede01dd1efd920a8fb9b (patch) | |
tree | 09cace82cefd5f07eb167a19c5dcceae508d56dc /scripts/travis_build | |
parent | 09e6e100163a9a77b59dd79aaf18d7ec88384638 (diff) | |
download | YAGE-0ac42fb77773e15b13f1ede01dd1efd920a8fb9b.tar.gz YAGE-0ac42fb77773e15b13f1ede01dd1efd920a8fb9b.zip |
[Travis] Fixing build and removing dependencies.
Diffstat (limited to 'scripts/travis_build')
-rwxr-xr-x | scripts/travis_build | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/scripts/travis_build b/scripts/travis_build index 140580a9..ed2fdd0a 100755 --- a/scripts/travis_build +++ b/scripts/travis_build @@ -17,6 +17,11 @@ ctest cd ../.. # update docs if we are on the master branch +echo "TRAVIS_BRANCH = " $TRAVIS_BRANCH +echo "BUILD_DOCS = " $BUILD_DOCS +echo "CC = " $CC +echo "CXX = " $CXX + if [[ $TRAVIS_BRANCH = "master" && $BUILD_DOCS -eq 1 ]]; then if [[ -d "build/doc_doxygen/html" ]]; then git clone -b gh-pages "https://$GH_TOKEN@github.com/ymherklotz/YAGE.git" YAGE_gh-pages @@ -24,10 +29,9 @@ if [[ $TRAVIS_BRANCH = "master" && $BUILD_DOCS -eq 1 ]]; then git config user.name "TravisBot" git config user.email "" rm -rf * - cp -r build/doc_doxygen/html/* . + cp -r ../build/doc_doxygen/html/* . git add -A . git commit -m "[Travis] Rebuilding documentation" git push -q origin gh-pages - cd .. fi fi |