From a174992e4dc7719cca3d6070f3eab2a033728a8e Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 15 Aug 2012 14:27:02 +0200
Subject: [PATCH] Let run tool detect qemu failures

---
 tool/run | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tool/run b/tool/run
index 6cc07e692c..baf63736cf 100755
--- a/tool/run
+++ b/tool/run
@@ -464,6 +464,7 @@ proc spawn_qemu { wait_for_re timeout_value } {
 	if {$wait_for_re == "forever"} { interact $pid }
 	expect {
 		-re $wait_for_re { }
+		eof     { puts stderr "Error: Qemu died unexpectedly";   exit -3 }
 		timeout { puts stderr "Error: Test execution timed out"; exit -2 }
 	}
 	set output $expect_out(buffer)