diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 0bd463e59..e16954361 100644 --- a/configure.in +++ b/configure.in @@ -92,7 +92,7 @@ MPI_OPT_FLAGS="" if test "$GCC" = yes; then CFLAGS="$CFLAGS -Wall" dnl Always enable optimazation in MPI - if echo "$CFLAGS" | grep "-O" >/dev/null ; then + if echo "$CFLAGS" | grep "[-]O" >/dev/null ; then : else MPI_OPT_FLAGS=-O2 |