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