diff options
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/run-linux32-build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/run-linux32-build.sh b/ci/run-linux32-build.sh index c19c50c1c9..5a36a8d7c0 100755 --- a/ci/run-linux32-build.sh +++ b/ci/run-linux32-build.sh @@ -26,6 +26,7 @@ test -z $HOST_UID || (CI_USER="ci" && useradd -u $HOST_UID $CI_USER) && # Build and test linux32 --32bit i386 su -m -l $CI_USER -c ' + set -x && cd /usr/src/git && ln -s /tmp/travis-cache/.prove t/.prove && make --jobs=2 && |