From 2d153c40e4ab1ff69138ad557937aa0ae5652968 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Mon, 13 Nov 2017 22:39:51 +0100 Subject: [PATCH] nic_router.run: generate result string via loop Issue #2609 --- repos/libports/run/nic_router.run | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/repos/libports/run/nic_router.run b/repos/libports/run/nic_router.run index 2f2320b9a4..d1e2c1520a 100644 --- a/repos/libports/run/nic_router.run +++ b/repos/libports/run/nic_router.run @@ -8,6 +8,7 @@ proc enable_test_3 { } { return 1 } proc enable_test_4 { } { return 1 } proc enable_test_5 { } { return 1 } proc enable_test_6 { } { return 1 } +proc nr_of_clients { } { return 6 } source ${genode_dir}/repos/libports/run/nic_router.inc @@ -164,4 +165,8 @@ install_config $config build_boot_image $boot_modules -run_genode_until {.*Test done.*\n.*Test done.*\n.*Test done.*\n.*Test done.*\n.*Test done.*\n.*Test done.*\n} 240 +for {set i 0} {$i < [nr_of_clients]} {incr i 1} { + append done_string {.*Test done.*\n} +} + +run_genode_until $done_string 240