diff --git a/tool/run b/tool/run index 1fca39c5c..ce2ed2ce7 100755 --- a/tool/run +++ b/tool/run @@ -591,7 +591,7 @@ proc spawn_amt { wait_for_re timeout_value } { # # reset the box # - set timeout 10 + set timeout 20 set exit_result 1 while { $exit_result != 0 } {