From 9cf315b37e882fe3fc77f9bb00be14cd098fe625 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Thu, 22 Aug 2013 12:04:37 +0200 Subject: [PATCH] noux: start time measuring with first noux output Don't account the boottime to the actual compile time - since it varies quite a lot if somebody else utilize the network with lwip tests for example ;-). --- ports/run/noux_tool_chain_auto.run | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) 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 ]