diff --git a/tools/configure.c b/tools/configure.c index c849b5e3d0..2cb297924e 100644 --- a/tools/configure.c +++ b/tools/configure.c @@ -1508,11 +1508,19 @@ static void refresh(void) printf(" Refreshing...\n"); fflush(stdout); + if (g_debug) + { + ret = system("make olddefconfig V=1"); + } + else + { #ifdef WIN32 - ret = system("make olddefconfig"); + ret = system("make olddefconfig"); #else - ret = system("make olddefconfig 1>/dev/null"); + ret = system("make olddefconfig 1>/dev/null"); #endif + } + putchar('\n'); #ifdef WEXITSTATUS diff --git a/tools/configure.sh b/tools/configure.sh index 7df56f78b7..db9a489368 100755 --- a/tools/configure.sh +++ b/tools/configure.sh @@ -70,6 +70,7 @@ unset boardconfig unset appdir unset host unset wenv +debug=n skip=0 while [ ! -z "$1" ]; do @@ -83,6 +84,7 @@ while [ ! -z "$1" ]; do wenv=cygwin ;; -d ) + debug=y set -x ;; -g ) @@ -379,5 +381,8 @@ if [ ! -z `which gmake 2>/dev/null` ]; then MAKE_BIN=gmake fi -${MAKE_BIN} olddefconfig 1>/dev/null - +if [ "X${debug}" = "Xy" ]; then + ${MAKE_BIN} olddefconfig V=1 +else + ${MAKE_BIN} olddefconfig 1>/dev/null +fi