From d13ff6d7106a3b1a2dc179f9d269074baee90fc0 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <japaricious@gmail.com>
Date: Tue, 9 Aug 2016 11:53:49 -0500
Subject: [PATCH] fix armv7

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

diff --git a/ci/script.sh b/ci/script.sh
index 16b6e76..c0074ec 100644
--- a/ci/script.sh
+++ b/ci/script.sh
@@ -21,7 +21,7 @@ run_tests() {
         if [[ -z $DONT_RUN_TESTS ]]; then
             $QEMU target/**/release/rustc_builtins-*
         fi
-    else
+    else if [[ -z $DONT_RUN_TESTS ]]; then
         cargo test --target $TARGET
         cargo test --target $TARGET --release
     fi