diff options
Diffstat (limited to 'src/ci')
| -rwxr-xr-x | src/ci/run.sh | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/ci/run.sh b/src/ci/run.sh index 456f8cc7317..5b1fb676187 100755 --- a/src/ci/run.sh +++ b/src/ci/run.sh @@ -27,10 +27,8 @@ fi ci_dir=`cd $(dirname $0) && pwd` source "$ci_dir/shared.sh" -if [ "$TRAVIS" == "true" ] && [ "$TRAVIS_BRANCH" != "auto" ]; then - RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --enable-quiet-tests" -else - RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --set build.print-step-timings" +if [ "$TRAVIS" != "true" ] || [ "$TRAVIS_BRANCH" == "auto" ]; then + RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --set build.print-step-timings --enable-verbose-tests" fi RUST_CONFIGURE_ARGS="$RUST_CONFIGURE_ARGS --enable-sccache" |