3076fc601d
The new filename has a proper vendor prefix. Keep the old configuration file for now but show a "deprecated" warning at runtime. Change-Id: I30fcb8f291d401acaa1fe665db0eeabc250d24b6 Signed-off-by: Marc Schink <dev@zapb.de> Reviewed-on: http://openocd.zylin.com/5476 Tested-by: jenkins Reviewed-by: Tarek BOCHKATI <tarek.bouchkati@gmail.com> Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>
4 lines
132 B
INI
4 lines
132 B
INI
echo "WARNING: board/dk-tm4c129.cfg is deprecated, please switch to board/ti_dk-tm4c129.cfg"
|
|
|
|
source [find board/ti_dk-tm4c129.cfg]
|