drivers/am335xgpio: Migrate to adapter gpio commands

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

diff --git a/tcl/target/bluefield.cfg b/tcl/target/bluefield.cfg
index 62b1e31650d105c97573a4e496f9ef520c579c98..30ed527607d2ca8c502d0270935cb958edbc3451 100644 (file)
--- a/tcl/target/bluefield.cfg
+++ b/tcl/target/bluefield.cfg
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 # BlueField SoC Target
 
 set _CHIPNAME bluefield
@@ -72,7 +74,7 @@ proc core_up { args } {
        global _TARGETNAME
 
        # Examine remaining cores
-       foreach _core [set args] {
+       foreach _core $args {
                ${_TARGETNAME}$_core arp_examine
        }
 }