diff --git a/configure b/configure index 0815df5a4e701267b6161324260bfca731135aae..d281267a70b812fc64b275c14e2e57405521049d 100755 --- a/configure +++ b/configure @@ -214,7 +214,7 @@ add_extralibs(){ } check_cmd(){ - "$@" 2>&1 | tee -a $logfile | { ! grep -E -q -v '#warning|^In file'; } + "$@" >>$logfile 2>&1 } check_cc(){