tcl/target/gd32vf103: add flash bank

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

diff --git a/tcl/target/fm4_mb9bf.cfg b/tcl/target/fm4_mb9bf.cfg
index e53fdc8787f51906e28c34d66f445fa974c8469a..ca4e5f92ee8b1036534ccbeb2a39ca32f3b14bcf 100644 (file)
--- 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