diff --git a/repos/ports/run/vbox_auto_win7_share.run b/repos/ports/run/vbox_auto_win7_share.run index ac1def3b1..f6b6a1aeb 100644 --- a/repos/ports/run/vbox_auto_win7_share.run +++ b/repos/ports/run/vbox_auto_win7_share.run @@ -242,7 +242,7 @@ build_boot_image $boot_modules # # Step 2: Read out TCP/IP address of tcp_terminal running on Genode target # -run_genode_until {\[init -> tcp_terminal\] listening on port 8888\.\.\.} 20 +run_genode_until {\[init -> tcp_terminal\] .{1,5}got IP address [0-9]+\.[0-9]+\.[0-9]+\.[0-9]+} 20 set serial_id [output_spawn_id] regexp {\[init -> tcp_terminal\] .{1,5}got IP address [0-9]+\.[0-9]+\.[0-9]+\.[0-9]+} $output serial_ip_addr