6 lines
177 B
INI
6 lines
177 B
INI
# SPDX-License-Identifier: GPL-2.0-or-later
|
|
|
|
echo "WARNING: board/dk-tm4c129.cfg is deprecated, please switch to board/ti_dk-tm4c129.cfg"
|
|
|
|
source [find board/ti_dk-tm4c129.cfg]
|