From e90cf07dd6785a34cbece152adc57dfcb3fbdd80 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Wed, 22 Nov 2017 09:40:36 +0100
Subject: fix ci

---
 ci/script.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'ci/script.sh')

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
-- 
cgit v1.2.3