From 5b890a31bd1f2b2f63a01391a0c7812a5e14b20d Mon Sep 17 00:00:00 2001
From: gnzlbg <gonzalobg88@gmail.com>
Date: Tue, 27 Feb 2018 17:08:14 +0100
Subject: [PATCH] fix ci script

---
 ci/run.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/run.sh b/ci/run.sh
index 2a7b4006..55695db8 100755
--- a/ci/run.sh
+++ b/ci/run.sh
@@ -79,5 +79,5 @@ if [ "$TARGET" = "x86_64-unknown-linux-gnux32" ]; then
   opt="--release"
 fi
 
-exec cargo test $opt --no-default-features --target $TARGET
+cargo test $opt --no-default-features --target $TARGET
 exec cargo test $opt --manifest-path libc-test/Cargo.toml --target $TARGET
-- 
GitLab