diff --git a/repos/os/run/ahci_bench.run b/repos/os/run/ahci_bench.run index f9e5bcfda2..fd929906ea 100644 --- a/repos/os/run/ahci_bench.run +++ b/repos/os/run/ahci_bench.run @@ -96,4 +96,4 @@ append qemu_args " -nographic -m 256 " append qemu_args " -drive id=disk,file=bin/ext2.raw,if=none -device ahci,id=ahci -device ide-hd,drive=disk,bus=ahci.0 -boot d" append qemu_args " -drive id=cd,file=[run_dir]/../ahci_bench.iso,if=none,media=cdrom -device ide-cd,drive=cd,bus=ahci.1" -run_genode_until "Done\n" 100 +run_genode_until "Done.*\n" 100