X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=tcl%2Ftarget%2Fpic32mx.cfg;h=df68e807aeb504ab8b23b547803405df586b3928;hb=35b20195b86ceeda1300e0cc405cbbcbefc1f0fd;hp=51a6bbddb21a6c8aecf741253ccad4c85e5c1867;hpb=38ac08c1c25adf42cf20e48e10e6ddeab6a12d71;p=fw%2Fopenocd

diff --git a/tcl/target/pic32mx.cfg b/tcl/target/pic32mx.cfg
index 51a6bbddb..df68e807a 100644
--- a/tcl/target/pic32mx.cfg
+++ b/tcl/target/pic32mx.cfg
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 if { [info exists CHIPNAME] } {
    set _CHIPNAME $CHIPNAME
 } else {
@@ -42,7 +44,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 {