From 914897cf71e2966415198372041ea2dfdb63be1c Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 1 Aug 2012 14:45:21 +0200
Subject: [PATCH] Adapt noux.run to recent changes of exit handling

---
 ports/run/noux.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ports/run/noux.run b/ports/run/noux.run
index f881a82e8..e342949ff 100644
--- a/ports/run/noux.run
+++ b/ports/run/noux.run
@@ -70,7 +70,7 @@ if {[have_spec x86_64]} {
         append qemu_args " -m 300 "
 }
 
-run_genode_until "child exited with exit value 0.*\n" 30
+run_genode_until "child /bin/ls exited with exit value 0.*\n" 30
 
 puts "[exec cat $noux_output_file]"