diff options
| author | Rob Savoye <rob@welcomehome.org> | 2004-06-05 15:50:43 +0000 |
|---|---|---|
| committer | Rob Savoye <rob@welcomehome.org> | 2004-06-05 15:50:43 +0000 |
| commit | e2ab05f8e59d9ccd7b795f5f9c4ff3570d037921 (patch) | |
| tree | fad7e4d6dd5781d847727ba508249f1e194c840c | |
| parent | 81264c6f851528ea441ca75985114e9980a4ffc8 (diff) | |
| download | dejagnu-e2ab05f8e59d9ccd7b795f5f9c4ff3570d037921.zip dejagnu-e2ab05f8e59d9ccd7b795f5f9c4ff3570d037921.tar.gz dejagnu-e2ab05f8e59d9ccd7b795f5f9c4ff3570d037921.tar.bz2 | |
Tue Feb 25 05:19:57 UTC 2003 Brendan Conoboy <blc@@redhat.com>
* lib/remote.exp (call_remote): Remove multilibs from the board
name when rebooting a board.
| -rw-r--r-- | lib/remote.exp | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/lib/remote.exp b/lib/remote.exp index cdec0d2..812b3f3 100644 --- a/lib/remote.exp +++ b/lib/remote.exp @@ -512,6 +512,11 @@ proc call_remote { type proc dest args } { set dest [board_info $dest name] } + if { $proc == "reboot" } { + regsub {/.*} "$dest" "" dest + verbose "Changed dest to $dest" + } + if { $dest != "host" && $dest != "build" && $dest != "target" } { if { ![board_info $dest exists name] } { global board @@ -520,6 +525,10 @@ proc call_remote { type proc dest args } { blooie } load_board_description $dest + if { $proc == "reboot" } { + regsub {/.*} "$dest" "" dest + verbose "Changed dest to $dest" + } } } |