From d4920eade451fb0f9d8244501a4b8012006d58a1 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Mon, 23 Oct 2017 14:49:02 +0200
Subject: [PATCH] timer.run: end test on uncaught exceptions

---
 repos/os/run/timer.run | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/repos/os/run/timer.run b/repos/os/run/timer.run
index 81024b9f6b..c98b94162d 100644
--- a/repos/os/run/timer.run
+++ b/repos/os/run/timer.run
@@ -44,4 +44,10 @@ build_boot_image { core ld.lib.so init timer test-timer }
 append qemu_args "  -nographic"
 
 # Execute test in Qemu
-run_genode_until "--- timer test finished ---" 60
+run_genode_until {\[init\] child \"client\" exited with exit value.*\n} 60
+
+grep_output {\[init\] child \"client\" exited with exit value}
+
+compare_output_to {
+	[init] child "client" exited with exit value 0
+}