From 45f57ca82afe13fa51f463a3cc7c8d292ba91ecb Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Thu, 7 Apr 2016 12:51:52 -0600
Subject: [PATCH] testbuild.sh:  Needs to avoid disabling
 CONFIG_ARM_TOOLCHAIN_GNU

---
 tools/testbuild.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tools/testbuild.sh b/tools/testbuild.sh
index 8f5bb56d4b..7fb1f32c35 100755
--- a/tools/testbuild.sh
+++ b/tools/testbuild.sh
@@ -1,7 +1,7 @@
 #!/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>
 #
 # Redistribution and use in source and binary forms, with or without
@@ -180,7 +180,7 @@ function configure {
     fi
 
     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`
         if [ ! -z "varname" ]; then
             echo "  Disabling $varname"