diff options
Diffstat (limited to 'config/ddb.exp')
| -rw-r--r-- | config/ddb.exp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/config/ddb.exp b/config/ddb.exp index 6a8cc96..4a982e8 100644 --- a/config/ddb.exp +++ b/config/ddb.exp @@ -34,11 +34,11 @@ set_board_info output_end "\[\r\n\](Exception Cause|\[0-9a-z\]+ \[0-9a-z\]+ brea # Reset the prompt to what GDB needs. proc ${board}_init { dest } { global doing_ddb_init - if [is_remote host] { + if {[is_remote host]} { return } - if ![info exists doing_ddb_init] { + if {![info exists doing_ddb_init]} { set doing_ddb_init 1 for { set i 1 } { $i <= 3 } { incr i } { @@ -85,7 +85,7 @@ set_board_info send_initial_cr 1 set_board_info dont_wait_for_prompt 1 # If no output format is specified, use objcopy. -if ![board_info $board exists output_format] { +if {![board_info $board exists output_format]} { set tempfil [lookfor_file $tool_root_dir binutils/objcopy] if { $tempfil != "" } { set_board_info objcopy $tempfil |