aboutsummaryrefslogtreecommitdiff
path: root/ci/script.sh
diff options
context:
space:
mode:
authorGravatar homunkulus <homunkulus@gmx.com> 2017-11-22 08:56:45 +0000
committerGravatar homunkulus <homunkulus@gmx.com> 2017-11-22 08:56:45 +0000
commit99df0776c68fdb377ef7daa34f7fd8481fea590f (patch)
treec117a39e2d99a0ffb67427fef72f3735c85e9244 /ci/script.sh
parent948e1fd0fbd96f574c31909843b2ed3debabf6fc (diff)
parentcdb2118cd36f8bfbdb7e296580cae05d6291bc5d (diff)
downloadrtic-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.sh4
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