diff --git a/configure b/configure index 43985bb4..303c90a1 100755 --- a/configure +++ b/configure @@ -262,6 +262,7 @@ EOF rv=1 echo "no." fi + [ -z "$SILENT" ] && cat _ccflag.err rm -f _ccflag.c _ccflag _ccflag.err return $rv }