diff options
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/script.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ci/script.sh b/ci/script.sh index 9cb03fc..5c898a8 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -37,10 +37,10 @@ main() { mkdir -p ci/builds if [ $T = x86_64-unknown-linux-gnu ]; then - if [ $TRAVIS_RUST_VERSION = nightly ]; then - # compile-fail tests - cargo test --test single --target $T + # compile-fail tests + cargo test --test single --target $T + if [ $TRAVIS_RUST_VERSION = nightly ]; then # multi-core compile-pass tests pushd heterogeneous local exs=( |