diff --git a/tools/refresh.sh b/tools/refresh.sh index e55959f4cd..03192361ae 100755 --- a/tools/refresh.sh +++ b/tools/refresh.sh @@ -244,7 +244,7 @@ for CONFIG in ${CONFIGS}; do if [ "X${debug}" == "Xy" ]; then make oldconfig V=1 else - make oldconfig 1>/dev/null + make oldconfig fi fi fi