diff options
| author | Milo Yip <miloyip@gmail.com> | 2014-08-11 12:11:41 +0400 |
|---|---|---|
| committer | Milo Yip <miloyip@gmail.com> | 2014-08-11 12:11:41 +0400 |
| commit | 34dd0fd68f765e5b75c9a57a3f95b473a6c569f5 (patch) | |
| tree | d14e712f426026512f4d2f5aaa3bb38e9837481b /build | |
| parent | 3b3600b3d6203ce6ad3b16c6cdfe722af79cd4ca (diff) | |
| parent | d08eb7656fb6c4e49aa2e167ed1158ee73a62692 (diff) | |
Merge pull request #99 from pah/travis-ci
travis-doxygen.sh: only overwrite .git-credentials, iff not exists
Diffstat (limited to 'build')
| -rwxr-xr-x | build/travis-doxygen.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/build/travis-doxygen.sh b/build/travis-doxygen.sh index 74fa5283..5c4d4a1d 100755 --- a/build/travis-doxygen.sh +++ b/build/travis-doxygen.sh @@ -107,9 +107,9 @@ gh_pages_push() { git remote set-url --push origin "${GITHUB_URL}" git config credential.helper 'store' # ( set +x ; git config credential.username "${GH_TOKEN}" ) - ( set +x ; \ - echo "https://${GH_TOKEN}:@${GITHUB_HOST}" > ${HOME}/.git-credentials ; \ - chmod go-rw ${HOME}/.git-credentials ) + ( set +x ; [ -f ${HOME}/.git-credentials ] || \ + ( echo "https://${GH_TOKEN}:@${GITHUB_HOST}" > ${HOME}/.git-credentials ; \ + chmod go-rw ${HOME}/.git-credentials ) ) # push to GitHub git push origin gh-pages } |