travis-doxygen.sh: temporarily ignore failing GH page update

This commit is contained in:
Philipp A. Hartmann 2014-07-11 13:29:50 +02:00
parent 5050f18743
commit 33da6610f9

View File

@ -92,7 +92,8 @@ gh_pages_push() {
git config core.askpass /bin/true
( set +x ; git config credential.${GHPAGES_URL}.username "${GH_TOKEN}" )
# push to GitHub
git push origin gh-pages
git push origin gh-pages || \
skip "GitHub pages update failed, temporarily ignored."
}
doxygen_install