From f40fd4bace651be6fad51723b139dbebbf00f883 Mon Sep 17 00:00:00 2001
From: Hideki Sekine <sekineh@me.com>
Date: Tue, 16 Oct 2018 21:07:44 +0900
Subject: [PATCH] [ci] run both debug and release

---
 src/test/run-make/thumb-none-qemu/script.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/test/run-make/thumb-none-qemu/script.sh b/src/test/run-make/thumb-none-qemu/script.sh
index 5c46c4bd26dc..c7133f8fb7fc 100644
--- a/src/test/run-make/thumb-none-qemu/script.sh
+++ b/src/test/run-make/thumb-none-qemu/script.sh
@@ -8,6 +8,7 @@ pushd $WORK_DIR
     rm -rf $CRATE || echo OK
     cp -a $HERE/example .
     pushd $CRATE
-        $CARGO run --target $TARGET
+        $CARGO run --target $TARGET           | grep "x = 42"
+        $CARGO run --target $TARGET --release | grep "x = 42"
     popd
 popd