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