tcl/board: add SPDX tag

[fw/openocd] / tcl / board / mcb1700.cfg

diff --git a/tcl/board/mcb1700.cfg b/tcl/board/mcb1700.cfg
index 4954dab0a1e3f9d90d7b4276b31e7086eac329d9..8ab6e88c2b1963e9c64bc9d81c1a29b22eecf2c0 100644 (file)
--- a/tcl/board/mcb1700.cfg
+++ b/tcl/board/mcb1700.cfg
@@ -1,5 +1,7 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 # Keil MCB1700 PCB with 1768
-# 
+#
 # Reset init script sets it to 100MHz
 set CCLK 100000
 
@@ -53,9 +55,9 @@ $_TARGETNAME configure -event reset-init {
 
        # Dividing CPU clock by 8 should be pretty conservative
        #
-       # 
+       #
        global MCB1700_CCLK
-       adapter speed [expr $MCB1700_CCLK / 8]
+       adapter speed [expr {$MCB1700_CCLK / 8}]
 
        # Do not remap 0x0000-0x0020 to anything but the flash (i.e. select
        # "User Flash Mode" where interrupt vectors are _not_ remapped,