diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2017-12-23 00:22:43 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2017-12-23 00:22:43 +0000 |
| commit | e4b7467777c10ea41c827471759ff8039073b98b (patch) | |
| tree | ca54adff9a5f81f7e778e4bf9979c6c423e198dc /scripts | |
| parent | 77a65a351d93cc7afee655826383c8000439fcca (diff) | |
| download | YAGE-e4b7467777c10ea41c827471759ff8039073b98b.tar.gz YAGE-e4b7467777c10ea41c827471759ff8039073b98b.zip | |
[Travis] Small changes to Travis.
Diffstat (limited to 'scripts')
| -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 |