testbuild.sh: Needs to avoid disabling CONFIG_ARM_TOOLCHAIN_GNU
This commit is contained in:
parent
8a5bf3c230
commit
45f57ca82a
@ -1,7 +1,7 @@
|
|||||||
#!/bin/bash
|
#!/bin/bash
|
||||||
# version.sh
|
# testbuild.sh
|
||||||
#
|
#
|
||||||
# Copyright (C) 2011 Gregory Nutt. All rights reserved.
|
# Copyright (C) 2016 Gregory Nutt. All rights reserved.
|
||||||
# Author: Gregory Nutt <gnutt@nuttx.org>
|
# Author: Gregory Nutt <gnutt@nuttx.org>
|
||||||
#
|
#
|
||||||
# Redistribution and use in source and binary forms, with or without
|
# Redistribution and use in source and binary forms, with or without
|
||||||
@ -180,7 +180,7 @@ function configure {
|
|||||||
fi
|
fi
|
||||||
|
|
||||||
if [ "X$toolchain" != "X" ]; then
|
if [ "X$toolchain" != "X" ]; then
|
||||||
setting=`grep TOOLCHAIN $nuttx/.config | grep =y`
|
setting=`grep TOOLCHAIN $nuttx/.config | grep -v CONFIG_ARM_TOOLCHAIN_GNU | grep =y`
|
||||||
varname=`echo $setting | cut -d'=' -f1`
|
varname=`echo $setting | cut -d'=' -f1`
|
||||||
if [ ! -z "varname" ]; then
|
if [ ! -z "varname" ]; then
|
||||||
echo " Disabling $varname"
|
echo " Disabling $varname"
|
||||||
|
Loading…
Reference in New Issue
Block a user