diff --git a/configure.in b/configure.in index 450866b81f1652a307aebe1c4455e3b3f6268f51..bd80410d9aaabce56d487142e6068393de37b9c3 100644 --- a/configure.in +++ b/configure.in @@ -63,10 +63,9 @@ MAKE_DISTRIB=`sh -c "$MAKE -v | sed -n -e 's/\(.*\) Make.*$/\1/p'"` MAKE_MAJOR=`sh -c "$MAKE -v | sed -n -f bin/sed_get_make_major"` MAKE_MINOR=`sh -c "$MAKE -v | sed -n -f bin/sed_get_make_minor"` AC_MSG_RESULT($MAKE_MAJOR.$MAKE_MINOR) -if test "$MAKE_DISTRIB" != GNU -o "$MAKE_MAJOR" -lt 3 \ - -o "$MAKE_MAJOR" = 3 -a "$MAKE_MINOR" -lt 81 +if test "$MAKE_DISTRIB" != GNU -o "$MAKE_MAJOR" -lt 4 then - AC_MSG_ERROR([unsupported version; GNU Make version 3.81 + AC_MSG_ERROR([unsupported version; GNU Make version 4.0 or higher is required.]); fi