diff --git a/repos/libports/run/libc_filesystem_test.inc b/repos/libports/run/libc_filesystem_test.inc index 5e2edf1ee..6174f5cb5 100644 --- a/repos/libports/run/libc_filesystem_test.inc +++ b/repos/libports/run/libc_filesystem_test.inc @@ -174,7 +174,7 @@ append qemu_args " -nographic " append_if $use_ahci qemu_args " -drive id=disk,file=$disk_image,format=raw,if=none -device ahci,id=ahci -device ide-drive,drive=disk,bus=ahci.0 -boot d" append_if $use_sd_card_drv qemu_args " -drive file=$disk_image,format=raw,if=sd,cache=writeback " -run_genode_until ".*child \"test-libc_$filesystem\" exited with exit value 0.*" 60 +run_genode_until ".*child \"test-libc_$filesystem\" exited with exit value 0.*" 90 exec rm -f $disk_image