gvsafronov/rapidjson
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

travis-doxygen.sh: don't ignore Doxygen push error

Browse Source
This commit is contained in:
Philipp A. Hartmann 2014-07-13 11:54:24 +02:00
parent 03834b5980
commit 8d8ce9e9c5
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
build/travis-doxygen.sh
View File

@ -111,8 +111,7 @@ gh_pages_push() {
echo "https://${GH_TOKEN}:@${GITHUB_HOST}" > ${HOME}/.git-credentials ; \ echo "https://${GH_TOKEN}:@${GITHUB_HOST}" > ${HOME}/.git-credentials ; \
chmod go-rw ${HOME}/.git-credentials ) chmod go-rw ${HOME}/.git-credentials )
# push to GitHub # push to GitHub
git push origin gh-pages || \ git push origin gh-pages
skip "GitHub pages update failed, temporarily ignored."
} }
doxygen_install doxygen_install