From 78d83ebda83a325dd908e9d2cb487c4fcca6224c Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Tue, 12 Jun 2018 18:04:32 +0200 Subject: [PATCH] utf8.run: increase timeout, needed for sel4 --- repos/os/run/utf8.run | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/os/run/utf8.run b/repos/os/run/utf8.run index 9a4acb445..fc3ce029f 100644 --- a/repos/os/run/utf8.run +++ b/repos/os/run/utf8.run @@ -24,4 +24,4 @@ build_boot_image "core ld.lib.so init test-utf8" append qemu_args "-nographic " -run_genode_until {.*child "test-utf8" exited with exit value 0.*\n} 10 +run_genode_until {.*child "test-utf8" exited with exit value 0.*\n} 30