diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-11-22 09:40:36 +0100 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-11-22 09:40:36 +0100 |
| commit | e90cf07dd6785a34cbece152adc57dfcb3fbdd80 (patch) | |
| tree | 736fe5cce710b150109a1579de602f5b6b1d467d /ci/script.sh | |
| parent | 948e1fd0fbd96f574c31909843b2ed3debabf6fc (diff) | |
fix ci
Diffstat (limited to 'ci/script.sh')
| -rw-r--r-- | ci/script.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ci/script.sh b/ci/script.sh index 6b85502..af425da 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -3,12 +3,12 @@ set -euxo pipefail main() { if [ $TARGET = x86_64-unknown-linux-gnu ]; then cargo build - cargo test --tests + cargo test --test cfail return fi xargo build --target $TARGET - xargo test --target $TARGET --examples + xargo check --target $TARGET --examples } main |