diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2017-12-23 00:56:25 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2017-12-23 00:56:25 +0000 |
commit | f81a5e202bfddede2073767acc683e2ca26bea6d (patch) | |
tree | 32e862500eddb1f0a823b146c291a2e0a28a99ca /scripts | |
parent | 08105ae7d3ffa3267df2bddebb3ff8f427917f89 (diff) | |
download | YAGE-f81a5e202bfddede2073767acc683e2ca26bea6d.tar.gz YAGE-f81a5e202bfddede2073767acc683e2ca26bea6d.zip |
[Travis] Fixed script and minimizing dependencies.
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/travis_build | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/scripts/travis_build b/scripts/travis_build index ad59e729..ed2fdd0a 100755 --- a/scripts/travis_build +++ b/scripts/travis_build @@ -18,10 +18,10 @@ cd ../.. # update docs if we are on the master branch echo "TRAVIS_BRANCH = " $TRAVIS_BRANCH -echo "BUILD_DOCS = " $BUILD_DOCS -ls build -ls build/doc_doxygen -ls build/doc_doxygen/html +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 @@ -29,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 |