From ffbfe25b0f8ac80ed0b794656968d23af500205b Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Tue, 1 Aug 2017 23:38:42 -0500
Subject: [PATCH] cargo build -> cargo check

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

diff --git a/ci/script.sh b/ci/script.sh
index e6186b7..2ed24f7 100644
--- a/ci/script.sh
+++ b/ci/script.sh
@@ -2,11 +2,11 @@ set -ex
 
 main() {
     if [ $TARGET = x86_64-unknown-linux-gnu ]; then
-        cargo build --target $TARGET
+        cargo check --target $TARGET
         return
     fi
 
-    xargo build --target $TARGET
+    xargo check --target $TARGET
     xargo test --target $TARGET --examples
 }
 
-- 
GitLab