+++ /dev/null
-echo "WARNING: target/efm32_stlink.cfg is deprecated, please switch to target/efm32.cfg"
-source [find target/efm32.cfg]
+++ /dev/null
-echo "WARNING: target/kl25z_hla.cfg is deprecated, please switch to target/kl25.cfg"
-source [find target/kl25.cfg]
+++ /dev/null
-echo "WARNING: target/nrf51_stlink.cfg is deprecated, please switch to target/nrf51.cfg"
-source [find target/nrf51.cfg]
+++ /dev/null
-echo "WARNING: target/stellaris_icdi.cfg is deprecated, please switch to target/stellaris.cfg"
-source [find target/stellaris.cfg]
+++ /dev/null
-echo "WARNING: stm32_stlink.cfg is deprecated (and does nothing, you can safely remove it.)"
+++ /dev/null
-echo "WARNING: target/stm32f0x_stlink.cfg is deprecated, please switch to target/stm32f0x.cfg"
-source [find target/stm32f0x.cfg]
+++ /dev/null
-echo "WARNING: target/stm32f1x_stlink.cfg is deprecated, please switch to target/stm32f1x.cfg"
-source [find target/stm32f1x.cfg]
+++ /dev/null
-echo "WARNING: target/stm32f2x_stlink.cfg is deprecated, please switch to target/stm32f2x.cfg"
-source [find target/stm32f2x.cfg]
+++ /dev/null
-echo "WARNING: target/stm32f3x_stlink.cfg is deprecated, please switch to target/stm32f3x.cfg"
-source [find target/stm32f3x.cfg]
+++ /dev/null
-echo "WARNING: target/stm32f4x_stlink.cfg is deprecated, please switch to target/stm32f4x.cfg"
-source [find target/stm32f4x.cfg]
+++ /dev/null
-echo "WARNING: target/stm32lx_stlink.cfg is deprecated, please switch to target/stm32l1.cfg"
-source [find target/stm32l1.cfg]
+++ /dev/null
-echo "WARNING: target/stm32w108xx_stlink.cfg is deprecated, please switch to target/stm32w108xx.cfg"
-source [find target/stm32w108xx.cfg]