diff options
Diffstat (limited to '.travis-script.sh')
| -rw-r--r-- | .travis-script.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.travis-script.sh b/.travis-script.sh index a9bf00c2e..6c9297faa 100644 --- a/.travis-script.sh +++ b/.travis-script.sh @@ -22,8 +22,9 @@ rel_builddir="_build-${buildid}" mkdir "${rel_builddir}" cd "${rel_builddir}" +SLEEP="$(which true)" -if ../configure --prefix="$abs_prefixdir" "$@" +if ../configure SLEEP="$SLEEP" --prefix="$abs_prefixdir" "$@" then echo "Configure successful." else |