Skip to content
Snippets Groups Projects
Commit 2d763b68 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[configure] enforce make >= 4.0

parent 3eaaa3d6
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 3 deletions
configure.in
+ 2
− 3
View file @ 2d763b68
...@@ -63,10 +63,9 @@ MAKE_DISTRIB=`sh -c "$MAKE -v | sed -n -e 's/\(.*\) Make.*$/\1/p'"` ...@@ -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_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"` MAKE_MINOR=`sh -c "$MAKE -v | sed -n -f bin/sed_get_make_minor"`
AC_MSG_RESULT($MAKE_MAJOR.$MAKE_MINOR) AC_MSG_RESULT($MAKE_MAJOR.$MAKE_MINOR)
if test "$MAKE_DISTRIB" != GNU -o "$MAKE_MAJOR" -lt 3 \ if test "$MAKE_DISTRIB" != GNU -o "$MAKE_MAJOR" -lt 4
-o "$MAKE_MAJOR" = 3 -a "$MAKE_MINOR" -lt 81
then 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.]); or higher is required.]);
fi fi
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment