diff options
Diffstat (limited to 'libc/ci/run.sh')
| -rwxr-xr-x | libc/ci/run.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/libc/ci/run.sh b/libc/ci/run.sh index 427d3bf..8c56979 100755 --- a/libc/ci/run.sh +++ b/libc/ci/run.sh @@ -87,10 +87,12 @@ if [ "$TARGET" = "x86_64-unknown-linux-gnux32" ]; then opt="--release" fi -cargo test $opt --no-default-features --manifest-path libc-test/Cargo.toml \ +export LIBC_CI=1 + +cargo test -vv $opt --no-default-features --manifest-path libc-test/Cargo.toml \ --target "${TARGET}" -cargo test $opt --manifest-path libc-test/Cargo.toml --target "${TARGET}" +cargo test -vv $opt --manifest-path libc-test/Cargo.toml --target "${TARGET}" -cargo test $opt --features extra_traits --manifest-path libc-test/Cargo.toml \ +cargo test -vv $opt --features extra_traits --manifest-path libc-test/Cargo.toml \ --target "${TARGET}" |