diff options
author | Philipp A. Hartmann <pah@qo.cx> | 2014-07-12 21:56:30 +0400 |
---|---|---|
committer | Philipp A. Hartmann <pah@qo.cx> | 2014-07-12 21:58:52 +0400 |
commit | c1afdc8df21d4cfb3282cfd7013250647cc6f205 (patch) | |
tree | 67c00a7abb76471ba93610dcb35d78e826666a50 /build | |
parent | 2875b576169ad285b4ad65fa68c21da8b87b3ba5 (diff) |
travis-doxygen.sh: allow overriding GitHub repo from environment
Diffstat (limited to 'build')
-rwxr-xr-x | build/travis-doxygen.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/build/travis-doxygen.sh b/build/travis-doxygen.sh index 9f4b49d3..894fca35 100755 --- a/build/travis-doxygen.sh +++ b/build/travis-doxygen.sh @@ -10,8 +10,8 @@ DOXYGEN_TAR=${DOXYGEN_VER}.linux.bin.tar.gz DOXYGEN_URL="http://ftp.stack.nl/pub/users/dimitri/${DOXYGEN_TAR}" DOXYGEN_BIN="/usr/local/bin/doxygen" -GHPAGES_REPO="miloyip/rapidjson" -GHPAGES_URL="https://github.com/${GHPAGES_REPO}" +: ${GITHUB_REPO:="miloyip/rapidjson"} +GITHUB_URL="https://github.com/${GITHUB_REPO}" skip() { echo "$@" 1>&2 @@ -61,7 +61,7 @@ gh_pages_prepare() cd "${TRAVIS_BUILD_DIR}/doc"; [ ! -d "html" ] || \ abort "Doxygen target directory already exists." - git clone --single-branch -b gh-pages ${GHPAGES_URL} html + git clone --single-branch -b gh-pages ${GITHUB_URL} html cd html # setup git config (with defaults) git config user.name "${GIT_NAME-travis}" @@ -90,7 +90,7 @@ gh_pages_push() { cd "${TRAVIS_BUILD_DIR}/doc/html"; # setup credentials (hide in "set -x" mode) git config core.askpass 'bash -c ":"' - ( set +x ; git config credential.${GHPAGES_URL}.username "${GH_TOKEN}" ) + ( set +x ; git config credential.${GITHUB_URL}.username "${GH_TOKEN}" ) # push to GitHub git push origin gh-pages || \ skip "GitHub pages update failed, temporarily ignored." |