diff --git a/configure b/configure index 23ca13e74..b64795e4e 100755 --- a/configure +++ b/configure @@ -10327,6 +10327,8 @@ override_f77_libs=0; # echo FLIBS = $FLIBS #fi +echo "FLIBS = " $FLIBS + #fi # ----------------------------------------------------------------------