board: Add NXP LS1088ARDB
[fw/openocd] / tcl / board / at91cap7a-stk-sdram.cfg
index 8395ba33bcf02f2fba7e54e15df4299008f9edf8..8a371e064b3115809a7159372f2ff572802b5ee4 100644 (file)
@@ -38,7 +38,7 @@ proc peek32 {address} {
 
 # Wait for an expression to be true with a timeout
 proc wait_state {expression} {
-       for {set i 0} {$i < 1000} {set i [expr $i + 1]} {
+       for {set i 0} {$i < 1000} {set i [expr {$i + 1}]} {
                if {[uplevel 1 $expression] == 0} {
                        return
                }