tools/: configure.sh and configure.c should redirect stdout to /dev/null but should not suppress stderr output.

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

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