X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=tcl%2Ftarget%2For1k.cfg;h=f85c2ee63aba5c01bfa43f95efbb949d01bb5310;hb=f5657aa76e795e4ed5b13a9f5df943181a123e49;hp=360a0ddf3d80c5f3f4e9e007014a1c084cec769c;hpb=82b6a41117fa99e760681d9f31163e7b68357e71;p=fw%2Fopenocd

diff --git a/tcl/target/or1k.cfg b/tcl/target/or1k.cfg
index 360a0ddf3..f85c2ee63 100644
--- a/tcl/target/or1k.cfg
+++ b/tcl/target/or1k.cfg
@@ -69,4 +69,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}]