From 6e5bc13878a31f06345e72bea11d42a003c480d0 Mon Sep 17 00:00:00 2001 From: Werner Koch Date: Sat, 13 Feb 1999 13:17:29 +0000 Subject: See ChangeLog: Sat Feb 13 14:13:04 CET 1999 Werner Koch --- configure.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'configure.in') 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 -- cgit v1.2.3