aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.run_chisel_tests.sh4
1 files changed, 3 insertions, 1 deletions
diff --git a/.run_chisel_tests.sh b/.run_chisel_tests.sh
index b14d842b..bb96c579 100644
--- a/.run_chisel_tests.sh
+++ b/.run_chisel_tests.sh
@@ -1,6 +1,8 @@
set -e
+
# Skip chisel tests if the commit message says to
-if git log --format=%B --no-merges $TRAVIS_COMMIT_RANGE | grep '\[skip chisel tests\]'; then
+# Replace ... with .. in TRAVIS_COMMIT_RANGE, see https://github.com/travis-ci/travis-ci/issues/4596
+if git log --format=%B --no-merges ${TRAVIS_COMMIT_RANGE/.../..} | grep '\[skip chisel tests\]'; then
exit 0
else
git clone https://github.com/ucb-bar/chisel3.git