diff options
Diffstat (limited to 'run-tests.sh')
| -rwxr-xr-x | run-tests.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/run-tests.sh b/run-tests.sh index a922f2e2ad1..558256eef62 100755 --- a/run-tests.sh +++ b/run-tests.sh @@ -268,7 +268,7 @@ function run_tests() total_run_tests=$((total_run_tests+1)) echo "[$(date +%H:%M:%S)] Running tests in file $t" starttime="$(date +%s)" - prove -vf $t + prove -vfe '/bin/bash' $t TMP_RES=$? ELAPSEDTIMEMAP[$t]=`expr $(date +%s) - $starttime` if [ ${TMP_RES} -ne 0 ] && [ "x${retry}" = "xyes" ] ; then @@ -280,7 +280,7 @@ function run_tests() echo " * we got some spurous failures *" echo " *********************************" echo "" - prove -vf $t + prove -vfe '/bin/bash' $t TMP_RES=$? fi if [ ${TMP_RES} -ne 0 ] ; then |