tcl/board: add ESP32-S3 config for ESP USB Bridge board

[fw/openocd] / tcl / target / or1k.cfg

diff --git a/tcl/target/or1k.cfg b/tcl/target/or1k.cfg
index 360a0ddf3d80c5f3f4e9e007014a1c084cec769c..ddd4fa210e5ce79693cde38ea8070fdddb9ff83f 100644 (file)
--- a/tcl/target/or1k.cfg
+++ b/tcl/target/or1k.cfg
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 set  _ENDIAN big
 
 if { [info exists CHIPNAME] } {
@@ -69,4 +71,4 @@ set ENABLE_JSP_MULTI          4
 # on burst reads and writes to improve download speeds.
 # This option must match the RTL configured option.
 
-du_select adv [expr $ADBG_USE_HISPEED | $ENABLE_JSP_SERVER | $ENABLE_JSP_MULTI]
+du_select adv [expr {$ADBG_USE_HISPEED | $ENABLE_JSP_SERVER | $ENABLE_JSP_MULTI}]