tcl: add SPDX tag

[fw/openocd] / tcl / fpga / xilinx-dna.cfg

diff --git a/tcl/fpga/xilinx-dna.cfg b/tcl/fpga/xilinx-dna.cfg
index a1d5ba37612e0992a3532bec0c28da2dcfbb0c76..56f8c14119381114fd3c7ecc30d70f25407510bf 100644 (file)
--- a/tcl/fpga/xilinx-dna.cfg
+++ b/tcl/fpga/xilinx-dna.cfg
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 proc xilinx_dna_addr {chip} {
        array set addrs {
                Spartan6 0x30
@@ -30,7 +32,7 @@ proc xilinx_get_dna {tap chip} {
 
 # Print out the "Device DNA" in the same format that impact uses.
 proc xilinx_print_dna {dna} {
-       set dna [expr $dna >> 64 - 57]
+       set dna [expr {$dna >> 64 - 57}]
        echo [format "DNA = %057b (0x%016x)" $dna $dna]
 }