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