tcl/target: stm32[fl]4x: document the settings for trace

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

diff --git a/tcl/target/u8500.cfg b/tcl/target/u8500.cfg
index 15bacf308a962c9fbcb684bd688de59a18553792..417fdd18f2d7fed3f269d4e7487380a80f92606e 100644 (file)
--- a/tcl/target/u8500.cfg
+++ b/tcl/target/u8500.cfg
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 #  Copyright (C) ST-Ericsson SA 2011
 #  Author : michel.jaouen@stericsson.com
 #  U8500 target
@@ -18,12 +20,12 @@ proc ocd_gdb_restart {target_id} {
     global _TARGETNAME_1
        global _SMP
     targets $_TARGETNAME_1
-       if { [expr ($_SMP == 1)] } {
+       if { $_SMP == 1 } {
        cortex_a smp off
        }
        rst_run
        halt
-       if { [expr ($_SMP == 1)]} {
+       if { $_SMP == 1 } {
        cortex_a smp on
        }
 }