diff options
| -rwxr-xr-x | lib/make/configure | 2 | ||||
| -rw-r--r-- | lib/make/configure.in | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/lib/make/configure b/lib/make/configure index 49ceeb94..0e52c6fa 100755 --- a/lib/make/configure +++ b/lib/make/configure @@ -4547,7 +4547,7 @@ fi if test -z "$F77_OPTIMISE_FLAGS" ; then case "$F77" in g77) - F77_OPTIMISE_FLAGS="-O" + F77_OPTIMISE_FLAGS="-O2" ;; *) # Don't know a reasonable default. diff --git a/lib/make/configure.in b/lib/make/configure.in index 258dad06..1b837a0e 100644 --- a/lib/make/configure.in +++ b/lib/make/configure.in @@ -814,7 +814,7 @@ AC_SUBST(F77_OPTIMISE_FLAGS) if test -z "$F77_OPTIMISE_FLAGS" ; then case "$F77" in g77) - F77_OPTIMISE_FLAGS="-O" + F77_OPTIMISE_FLAGS="-O2" ;; *) # Don't know a reasonable default. |