X-Git-Url: https://review.openocd.org/gitweb?a=blobdiff_plain;f=tcl%2Ftarget%2Ffm4_mb9bf.cfg;h=ca4e5f92ee8b1036534ccbeb2a39ca32f3b14bcf;hb=f5657aa76e795e4ed5b13a9f5df943181a123e49;hp=e53fdc8787f51906e28c34d66f445fa974c8469a;hpb=82b6a41117fa99e760681d9f31163e7b68357e71;p=openocd.git

diff --git a/tcl/target/fm4_mb9bf.cfg b/tcl/target/fm4_mb9bf.cfg
index e53fdc8787..ca4e5f92ee 100644
--- a/tcl/target/fm4_mb9bf.cfg
+++ b/tcl/target/fm4_mb9bf.cfg
@@ -11,7 +11,7 @@ if { [info exists WORKAREASIZE] } {
 	set _WORKAREASIZE 0x8000
 }
 
-$_TARGETNAME configure -work-area-phys [expr 0x20000000 - $_WORKAREASIZE] \
+$_TARGETNAME configure -work-area-phys [expr {0x20000000 - $_WORKAREASIZE}] \
                        -work-area-size $_WORKAREASIZE -work-area-backup 0
 
 set _FLASHNAME $_CHIPNAME.flash