mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-29 15:44:02 +00:00
parent
115a605658
commit
b26ac3c4fb
@ -14,7 +14,11 @@ proc run_log { wait_for_re timeout_value } {
|
||||
|
||||
set kernel_msg [run_boot_string]
|
||||
|
||||
set timeout $timeout_value
|
||||
if {$wait_for_re == "forever"} {
|
||||
set timeout -1
|
||||
} else {
|
||||
set timeout $timeout_value
|
||||
}
|
||||
|
||||
expect {
|
||||
-i $output_spawn_id $kernel_msg { }
|
||||
|
Loading…
x
Reference in New Issue
Block a user