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 3e23e65f9eed88d1251c9ae32cb9a24e28da8ebe..3735ce413f1835b3222fab05ba9ff5ab5205c2c0 100755 (executable)
--- a/ci/run-build-and-tests.sh
+++ b/ci/run-build-and-tests.sh
@@ -5,7 +5,7 @@
 
 . ${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