From 0d45c3cf63692151166ca7071f755dfaa8922a67 Mon Sep 17 00:00:00 2001 From: Behdad Esfahbod Date: Wed, 30 Dec 2015 16:09:39 +0100 Subject: [PATCH] [docs] Turn bash tracing on --- .ci/deploy-docs.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.ci/deploy-docs.sh b/.ci/deploy-docs.sh index 4bc38dc6f..0395597df 100755 --- a/.ci/deploy-docs.sh +++ b/.ci/deploy-docs.sh @@ -1,5 +1,6 @@ set -o errexit -o nounset +set -x if test "$TRAVIS_OS_NAME" != "linux" -o "$CC" != "gcc" -o "$TRAVIS_SECURE_ENV_VARS" != "true"; then exit; fi @@ -20,7 +21,10 @@ cp ../docs/html/* . git init git config user.name "Travis CI" git config user.email "travis@harfbuzz.org" +set +x +echo "git remote add upstream \"https://$$GH_TOKEN@github.com/$TRAVIS_REPO_SLUG.git\"" git remote add upstream "https://$GH_TOKEN@github.com/$TRAVIS_REPO_SLUG.git" +set -x git fetch upstream git reset upstream/gh-pages