diff options
| author | Ben Elliston <bje@gnu.org> | 2018-11-25 14:30:31 +1100 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2018-11-25 14:30:31 +1100 |
| commit | 3cfacc8d4aaf17f5b146d65c92104b89529f3e00 (patch) | |
| tree | 02b7a633dc0b2e3479a18919057d3a7f4a4f019b /config/sid.exp | |
| parent | 389f38092652944c9057bf8965cf2f5ff24c2269 (diff) | |
| download | dejagnu-3cfacc8d4aaf17f5b146d65c92104b89529f3e00.zip dejagnu-3cfacc8d4aaf17f5b146d65c92104b89529f3e00.tar.gz dejagnu-3cfacc8d4aaf17f5b146d65c92104b89529f3e00.tar.bz2 | |
* config/gdb-comm.exp: Clean up whitespace.
* config/gdb_stub.exp: Likewise.
* config/sid.exp: Likewise.
* config/sim.exp: Likewise.
* config/unix.exp: Likewise.
Diffstat (limited to 'config/sid.exp')
| -rw-r--r-- | config/sid.exp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/sid.exp b/config/sid.exp index e148a6c..77f1827 100644 --- a/config/sid.exp +++ b/config/sid.exp @@ -41,7 +41,7 @@ proc set_host_info { entry value } { set machine host if {[info exists target_info($machine,name)]} { - set machine $target_info($machine,name) + set machine $target_info($machine,name) } set board_info($machine,$entry) $value } |