summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBoris Nagaev <bnagaev@gmail.com>2015-11-19 06:39:39 (GMT)
committerBoris Nagaev <bnagaev@gmail.com>2015-11-19 06:39:39 (GMT)
commit0438b8627cc0a5d55dcfeab0d17fff2308bc6eda (patch)
tree9894188d7ce48012427fb86deb5b859ad201586d
parent1e4c381a4c6f4eeaf864a853843bb2d9291c38f2 (diff)
downloadmxe-0438b8627cc0a5d55dcfeab0d17fff2308bc6eda.zip
mxe-0438b8627cc0a5d55dcfeab0d17fff2308bc6eda.tar.gz
mxe-0438b8627cc0a5d55dcfeab0d17fff2308bc6eda.tar.bz2
suppress git commit error in Travis
See #924 See https://travis-ci.org/mxe/mxe/builds/91781012#L99
-rwxr-xr-xtools/travis-push.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/travis-push.sh b/tools/travis-push.sh
index e7aef3b..8aa02c0 100755
--- a/tools/travis-push.sh
+++ b/tools/travis-push.sh
@@ -8,6 +8,6 @@ git config --global push.default simple
git config credential.helper "store --file=.git/credentials"
echo "https://${GH_TOKEN}:@github.com" > .git/credentials
git remote set-url origin 'https://github.com/mxe/mxe.git'
-git commit -a -m 'Update versions.json'
+git commit -a -m 'Update versions.json' || true
git push origin HEAD:master
git push origin HEAD:gh-pages