From e19f774a54ca6a7cf0bc6746e92f90144f8a329d Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Wed, 2 Aug 2017 21:19:18 -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 0c48f8d..9c79da9 100644
--- a/ci/script.sh
+++ b/ci/script.sh
@@ -2,11 +2,11 @@ set -euxo pipefail
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