diff options
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -214,7 +214,7 @@ add_extralibs(){ } check_cmd(){ - "$@" 2>&1 | tee -a $logfile | { ! grep -q .; } + "$@" 2>&1 | tee -a $logfile | { ! grep -E -q -v '#warning|^In file'; } } check_cc(){ |