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

diff --git a/tcl/target/pic32mx.cfg b/tcl/target/pic32mx.cfg
index 51a6bbddb..f15924fc2 100644
--- a/tcl/target/pic32mx.cfg
+++ b/tcl/target/pic32mx.cfg
@@ -42,7 +42,7 @@ target create $_TARGETNAME mips_m4k -endian $_ENDIAN -chain-position $_TARGETNAM
 global _PIC32MX_DATASIZE
 global _WORKAREASIZE
 set _PIC32MX_DATASIZE 0x800
-set _PIC32MX_PROGSIZE [expr ($_WORKAREASIZE - $_PIC32MX_DATASIZE)]
+set _PIC32MX_PROGSIZE [expr {$_WORKAREASIZE - $_PIC32MX_DATASIZE}]
 
 $_TARGETNAME configure -work-area-phys 0xa0000800 -work-area-size $_PIC32MX_PROGSIZE -work-area-backup 0
 $_TARGETNAME configure -event reset-init {