From f7183286b9357d6f1fd82b519c99dca0e7ef735b Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Wed, 25 Jul 2018 11:58:22 +0200
Subject: [PATCH] [configure] prefer gmake for better *BSD compatibility

---
 configure.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.in b/configure.in
index 34ccef60b48..8e0b9b42806 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"`
-- 
GitLab