mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-06 11:10:24 +00:00
tool/run: fix 'interact' command invocation
Use the '-i' option to pass the spawn id to the 'interact' command. Fixes #737.
This commit is contained in:
parent
ef4a4ea654
commit
33bb8662a0
2
tool/run
2
tool/run
@ -418,7 +418,7 @@ proc wait_for_output { wait_for_re timeout_value running_spawn_id } {
|
|||||||
|
|
||||||
if {$wait_for_re == "forever"} {
|
if {$wait_for_re == "forever"} {
|
||||||
set timeout -1
|
set timeout -1
|
||||||
interact $running_spawn_id
|
interact -i $running_spawn_id
|
||||||
} else {
|
} else {
|
||||||
set timeout $timeout_value
|
set timeout $timeout_value
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user