Merge branch 'sb/indent-heuristic-optim'

diff --git a/ci/lib-travisci.sh b/ci/lib-travisci.sh
index ceecc889caf9fc3af038ffa4179056291e90b704..06970f72134fae6f6fd6df9afd93a7c7f064f495 100755 (executable)
--- a/ci/lib-travisci.sh
+++ b/ci/lib-travisci.sh
@@ -97,7 +97,7 @@ fi
 export DEVELOPER=1
 export DEFAULT_TEST_TARGET=prove
 export GIT_PROVE_OPTS="--timer --jobs 3 --state=failed,slow,save"
-export GIT_TEST_OPTS="--verbose-log -x"
+export GIT_TEST_OPTS="--verbose-log -x --immediate"
 export GIT_TEST_CLONE_2GB=YesPlease
 if [ "$jobname" = linux-gcc ]; then
        export CC=gcc-8