From 4053b7c8e6e40350528893ac82a7f95016e571e3 Mon Sep 17 00:00:00 2001
From: bjorn3 <bjorn3@users.noreply.github.com>
Date: Mon, 3 Sep 2018 18:29:55 +0200
Subject: [PATCH] Fix build.sh

---
 build.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index eb17c716f4a..86cefa83971 100755
--- a/build.sh
+++ b/build.sh
@@ -25,7 +25,8 @@ link_and_run() {
     shift
     pushd target/out
     gcc $@ -o $target
-    ./$target
+    sh -c ./$target || true
+    popd
 }
 
 build_lib() {