aboutsummaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorBen Elliston <bje@gnu.org>2006-05-22 07:09:39 +0000
committerBen Elliston <bje@gnu.org>2006-05-22 07:09:39 +0000
commit459573046abde19dc73ec156a739490208af8e81 (patch)
tree975757fbde028e86fe2207f04fa5cd86388f6b61 /config
parent433e1aeb52247acb6ebed9b7ecba5077eb7a7083 (diff)
downloaddejagnu-459573046abde19dc73ec156a739490208af8e81.zip
dejagnu-459573046abde19dc73ec156a739490208af8e81.tar.gz
dejagnu-459573046abde19dc73ec156a739490208af8e81.tar.bz2
* baseboards/cris-sim.exp: Use switch, not case.
* baseboards/h8300.exp: Likewise. * config/base68k.exp (base68k_ld): Brace an if expression.
Diffstat (limited to 'config')
-rw-r--r--config/base68k.exp2
1 files changed, 1 insertions, 1 deletions
diff --git a/config/base68k.exp b/config/base68k.exp
index 2c9856c..ec0ca96 100644
--- a/config/base68k.exp
+++ b/config/base68k.exp
@@ -105,7 +105,7 @@ proc base68k_ld { dest prog } {
}
}
if { ! $got_p } {
- if $tries<=4 then {
+ if { $tries <= 4 } then {
if { $tries == 3 } then {
remote_reboot $dest
} else {