From 89f3093590c25786302f5f1af78c33f48ac20d98 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Sun, 1 Oct 2017 15:41:59 -0600
Subject: [PATCH] tools/:  configure.sh and configure.c should redirect stdout
 to /dev/null but should not suppress stderr output.

---
 tools/configure.c  | 9 +++++++++
 tools/configure.sh | 2 +-
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/tools/configure.c b/tools/configure.c
index 63dbf43244..4ada47924d 100644
--- a/tools/configure.c
+++ b/tools/configure.c
@@ -1102,7 +1102,16 @@ static void refresh(void)
       exit(EXIT_FAILURE);
     }
 
+  printf("  Refreshing...");
+  fflush(stdout);
+
+#ifdef WIN32
   ret = system("make olddefconfig");
+#else
+  ret = system("make olddefconfig 1>/dev/null");
+#endif
+  putchar('\n');
+
 #ifdef WEXITSTATUS
   if (ret < 0 || WEXITSTATUS(ret) != 0)
 #else
diff --git a/tools/configure.sh b/tools/configure.sh
index 2f09cb7378..d406719925 100755
--- a/tools/configure.sh
+++ b/tools/configure.sh
@@ -311,4 +311,4 @@ fi
 
 echo "  Refreshing..."
 cd ${TOPDIR} || { echo "Failed to cd to ${TOPDIR}"; exit 1; }
-make olddefconfig 1>/dev/null 2>&1
+make olddefconfig 1>/dev/null