[HarfBuzz] harfbuzz: Branch 'master'

[Behdad Esfahbod]

 .ci/deploy-docs.sh |    4 ++++
 1 file changed, 4 insertions(+)

New commits:
commit 0d45c3cf63692151166ca7071f755dfaa8922a67
Author: Behdad Esfahbod <behdad at behdad.org>
Date:   Wed Dec 30 16:09:39 2015 +0100

    [docs] Turn bash tracing on

diff --git a/.ci/deploy-docs.sh b/.ci/deploy-docs.sh
index 4bc38dc..0395597 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 at 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