push: test to verify that push errors are colored

diff --git a/ci/run-build-and-tests.sh b/ci/run-build-and-tests.sh
index d3a094603f030752ccb8bd49dd5d855a3a10c36c..3735ce413f1835b3222fab05ba9ff5ab5205c2c0 100755 (executable)
--- a/ci/run-build-and-tests.sh
+++ b/ci/run-build-and-tests.sh
@@ -5,10 +5,14 @@
 
 . ${0%/*}/lib-travisci.sh
 
-ln -s $HOME/travis-cache/.prove t/.prove
+ln -s "$cache_dir/.prove" t/.prove
 
 make --jobs=2
 make --quiet test
+if test "$jobname" = "linux-gcc"
+then
+       GIT_TEST_SPLIT_INDEX=YesPlease make --quiet test
+fi
 
 check_unignored_build_artifacts