From 59b6062b297c7cf20ae562978e37e7b373844220 Mon Sep 17 00:00:00 2001
From: Ciro Santilli <ciro.santilli@gmail.com>
Date: Tue, 14 Aug 2018 13:40:53 +0100
Subject: [PATCH] run: dont check for panic if executable failed

---
 run | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/run b/run
index f0abedd..9f681b8 100755
--- a/run
+++ b/run
@@ -382,6 +382,9 @@ if [ -z "$debug_vm" ]; then
 fi
 "${common_root_dir}/eeval" "$cmd" "${common_run_dir}/run.sh"
 cmd_out=$?
+if [ "$cmd_out" -ne 0 ]; then
+  exit "$cmd_out"
+fi
 
 # Check if guest panicked.
 if "$common_gem5"; then
@@ -396,4 +399,3 @@ if grep -E -e "$panic_msg" -q "$common_termout_file"; then
   echo 'Simulation error detected by parsing logs. Exiting with status 1.'
   exit 1
 fi
-exit "$cmd_out"