diff options
author | 2017-11-22 08:56:45 +0000 | |
---|---|---|
committer | 2017-11-22 08:56:45 +0000 | |
commit | 99df0776c68fdb377ef7daa34f7fd8481fea590f (patch) | |
tree | c117a39e2d99a0ffb67427fef72f3735c85e9244 /ci/script.sh | |
parent | 948e1fd0fbd96f574c31909843b2ed3debabf6fc (diff) | |
parent | cdb2118cd36f8bfbdb7e296580cae05d6291bc5d (diff) | |
download | rtic-99df0776c68fdb377ef7daa34f7fd8481fea590f.tar.gz rtic-99df0776c68fdb377ef7daa34f7fd8481fea590f.tar.zst rtic-99df0776c68fdb377ef7daa34f7fd8481fea590f.zip |
Auto merge of #51 - japaric:ci, r=japaric
fix ci
None
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 6b855024..af425da5 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 |