diff options
Diffstat (limited to 'config/gdb_stub.exp')
| -rw-r--r-- | config/gdb_stub.exp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/config/gdb_stub.exp b/config/gdb_stub.exp index be1369a..447c626 100644 --- a/config/gdb_stub.exp +++ b/config/gdb_stub.exp @@ -486,6 +486,8 @@ proc gdb_stub_load { dest prog args } { set wait_timeout $test_timeout } + verbose -log "Executing on $dest: $prog (timeout = $wait_timeout)" 2 + set result [remote_spawn $dest $prog] if { $result < 0 } { |