Remove CONFIG_ARM_TOOLCHAIN_GNU; replace with CONFIG_ARCH_TOOLCHAIN_GNU

This commit is contained in:
Gregory Nutt
2017-05-13 13:28:15 -06:00
parent 7fe112fe4c
commit 6e4918c557
306 changed files with 187 additions and 339 deletions
+1 -1
View File
@@ -212,7 +212,7 @@ function configure {
fi
if [ "X$toolchain" != "X" ]; then
setting=`grep TOOLCHAIN $nuttx/.config | grep -v CONFIG_ARM_TOOLCHAIN_GNU=y | grep =y`
setting=`grep TOOLCHAIN $nuttx/.config | grep -v CONFIG_ARCH_TOOLCHAIN_GNU=y | grep =y`
varname=`echo $setting | cut -d'=' -f1`
if [ ! -z "varname" ]; then
echo " Disabling $varname"