diff options
-rwxr-xr-x | scripts/travis_build | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/travis_build b/scripts/travis_build index 140580a9..ad59e729 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 +ls build +ls build/doc_doxygen +ls build/doc_doxygen/html 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 |