diff --git a/ports/run/noux_tool_chain_auto.run b/ports/run/noux_tool_chain_auto.run index f1db1be70..f62a7e518 100644 --- a/ports/run/noux_tool_chain_auto.run +++ b/ports/run/noux_tool_chain_auto.run @@ -28,9 +28,13 @@ source ${genode_dir}/ports/run/noux_tool_chain.inc append qemu_args " -m 768 " -set time_start [ clock seconds ] +# wait until Noux started +run_genode_until {\[init -\> noux\].*--- noux started ---} 100 +set serial_id $spawn_id -run_genode_until {child /bin/bash exited with exit value 234} 600 +# start the measurement +set time_start [ clock seconds ] +run_genode_until {child /bin/bash exited with exit value 234} 400 $serial_id set time_end [ clock seconds ]