diff options
Diffstat (limited to 'config/unix.exp')
| -rw-r--r-- | config/unix.exp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/unix.exp b/config/unix.exp index a3b1a10..b359b8b 100644 --- a/config/unix.exp +++ b/config/unix.exp @@ -133,7 +133,7 @@ proc unix_load { dest prog args } { set remotecmd "$remotefile" } - set status [remote_exec $dest $remotefile $parg $inp] + set status [remote_exec $dest $remotefile $parg $inp "" $wait_timeout] remote_file $dest delete $remotefile.o $remotefile if { [lindex $status 0] < 0 } { verbose -log "Couldn't execute $prog, [lindex $status 1]" 3 |