mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 06:07:59 +00:00
tool/run: decrease timeout in log/serial
Set the timeout to 60s. The original value of 210s is too long and delays the testing process unnecessarily. Fixes #1395.
This commit is contained in:
parent
a838b6a657
commit
4caf12cd16
@ -22,7 +22,7 @@ proc log_serial_cmd { } {
|
||||
proc run_log { wait_for_re timeout_value } {
|
||||
global output_spawn_id
|
||||
|
||||
set timeout 210
|
||||
set timeout 60
|
||||
while {true} {
|
||||
eval spawn [log_serial_cmd]
|
||||
set output_spawn_id $spawn_id
|
||||
|
Loading…
Reference in New Issue
Block a user