diff --git a/repos/libports/run/libc_filesystem_test.inc b/repos/libports/run/libc_filesystem_test.inc index 7a0be23e8..e85147717 100644 --- a/repos/libports/run/libc_filesystem_test.inc +++ b/repos/libports/run/libc_filesystem_test.inc @@ -81,7 +81,7 @@ append config { } append_if [have_include "power_on/qemu"] config { - } + } append config { @@ -173,7 +173,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.*" 90 +run_genode_until ".*child \"test-libc_$filesystem\" exited with exit value 0.*" 120 exec rm -f $disk_image