From c670f51826affb23fb44a0ddaa529c937b515ba2 Mon Sep 17 00:00:00 2001
From: Johannes 'josch' Schauer <josch@mister-muffin.de>
Date: Sun, 30 Dec 2018 17:13:46 +0100
Subject: [PATCH] run_qemu.sh: if the run is aborted, then the last line is
 likely not an integer, thus compare strings instead of numbers

---
 run_qemu.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run_qemu.sh b/run_qemu.sh
index c0509fc..038100c 100755
--- a/run_qemu.sh
+++ b/run_qemu.sh
@@ -13,7 +13,7 @@ cleanup() {
 		head --lines=-1 shared/result.txt
 		res="$(tail --lines=1 shared/result.txt)"
 		rm shared/result.txt
-		if [ "$res" -ne 0 ]; then
+		if [ "$res" != "0" ]; then
 			# this might possibly overwrite another non-zero rv
 			rv=1
 		fi