diff options
author | Philipp A. Hartmann <pah@qo.cx> | 2014-07-13 13:54:24 +0400 |
---|---|---|
committer | Philipp A. Hartmann <pah@qo.cx> | 2014-07-13 13:54:24 +0400 |
commit | 8d8ce9e9c5580df7aa49665b174004f35a88b72a (patch) | |
tree | 33a01da5a5d88bc681ab0cc2f51dbef7353f1162 /build | |
parent | 03834b5980a22ef9678f7d8548a9920aaaf34e01 (diff) |
travis-doxygen.sh: don't ignore Doxygen push error
Diffstat (limited to 'build')
-rwxr-xr-x | build/travis-doxygen.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/build/travis-doxygen.sh b/build/travis-doxygen.sh index 239afb38..74fa5283 100755 --- a/build/travis-doxygen.sh +++ b/build/travis-doxygen.sh @@ -111,8 +111,7 @@ gh_pages_push() { echo "https://${GH_TOKEN}:@${GITHUB_HOST}" > ${HOME}/.git-credentials ; \ chmod go-rw ${HOME}/.git-credentials ) # push to GitHub - git push origin gh-pages || \ - skip "GitHub pages update failed, temporarily ignored." + git push origin gh-pages } doxygen_install |