diff options
| author | homunkulus <homunkulus@gmx.com> | 2017-11-22 08:56:45 +0000 |
|---|---|---|
| committer | homunkulus <homunkulus@gmx.com> | 2017-11-22 08:56:45 +0000 |
| commit | 99df0776c68fdb377ef7daa34f7fd8481fea590f (patch) | |
| tree | c117a39e2d99a0ffb67427fef72f3735c85e9244 /ci | |
| parent | 948e1fd0fbd96f574c31909843b2ed3debabf6fc (diff) | |
| parent | cdb2118cd36f8bfbdb7e296580cae05d6291bc5d (diff) | |
Auto merge of #51 - japaric:ci, r=japaric
fix ci
None
Diffstat (limited to 'ci')
| -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 |