target: add generic Xtensa LX support
[fw/openocd] / tcl / board / imx31pdk.cfg
index 2dce157dbc72fb91db28cc2a2bfdf43bc5100bf5..65fa520e45ba9e7c1b5c4b6af4ed22ac06b72b39 100644 (file)
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 # The IMX31PDK eval board has a single IMX31 chip
 source [find target/imx31.cfg]
 source [find target/imx.cfg]
@@ -6,7 +8,7 @@ $_TARGETNAME configure -event reset-init { imx31pdk_init }
 proc self_test {} {
        echo "Running 100 iterations of test."
        dump_image /ram/test 0x80000000 0x40000
-       for {set i 0} {$i < 100} {set i [expr $i+1]} {
+       for {set i 0} {$i < 100} {set i [expr {$i+1}]} {
                echo "Iteration $i"
                reset init
                mww 0x80000000 0x12345678 0x10000