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