diff options
Diffstat (limited to 'lib/make/configure.in')
| -rw-r--r-- | lib/make/configure.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/make/configure.in b/lib/make/configure.in index e8feb0a6..949c0e65 100644 --- a/lib/make/configure.in +++ b/lib/make/configure.in @@ -43,7 +43,11 @@ OPTIMISE_MODE='yes' if test -n "$OPTIMISE" ; then changequote({, }) OPTIMISE=`echo $OPTIMISE | tr '[:upper:]' '[:lower:]'` + OPTIMIZE=`echo $OPTIMIZE | tr '[:upper:]' '[:lower:]'` changequote([, ]) + if test "$OPTIMISE" != "$OPTIMIZE" ; then + AC_ERROR(OPTIMISE=\"$OPTIMISE\" is inconsistent with OPTIMIZE=\"$OPTIMIZE\"!) + fi if test "$OPTIMISE" != 'yes' -a "$OPTIMISE" != 'no' ; then AC_ERROR(Didn't recognize setting of OPTIMISE=\"$OPTIMISE\" (should be either \"yes\" or \"no\")) fi |