diff --git a/configure.in b/configure.in index 34ccef60b48a8baa3e646a4504142a5b580c92e2..8e0b9b42806ac94f00dd1b2409f10ef5fc7d430b 100644 --- a/configure.in +++ b/configure.in @@ -56,7 +56,7 @@ AC_SUBST([FRAMAC_VERSION],[`cat VERSION`]) new_section "configure make" -AC_CHECK_PROG(MAKE,make,make,) +AC_CHECK_PROGS(MAKE,gmake make,make,) AC_MSG_CHECKING([version of make]) 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"`