[PATCH][BZ #16037] configure: allow building with GNU Make 4

[Marc-Antoine Perennou]

Currently, configure errors telling make 4 is too old
since it does not match our regexp.

configure.in: allow GNU Make 4.*

Signed-off-by: Marc-Antoine Perennou <Marc-Antoine@Perennou.com>
---
 ChangeLog    | 4 ++++
 configure.in | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 00ba832..a6a80bf 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2013-10-10  Marc-Antoine Perennou <Marc-Antoine@Perennou.com>
+
+	* configure.in: allow GNU Make 4
+
 2013-10-09  Joseph Myers  <joseph@codesourcery.com>
 
 	* soft-fp/op-4.h (_FP_FRAC_DISASSEMBLE_4): Remove trailing
diff --git a/configure.in b/configure.in
index a7f9881..95c36b6 100644
--- a/configure.in
+++ b/configure.in
@@ -984,7 +984,7 @@ AC_CHECK_PROG_VER(CC, ${ac_tool_prefix}gcc ${ac_tool_prefix}cc, -v,
   critic_missing="$critic_missing gcc")
 AC_CHECK_PROG_VER(MAKE, gnumake gmake make, --version,
   [GNU Make[^0-9]*\([0-9][0-9.]*\)],
-  [3.79* | 3.[89]*], critic_missing="$critic_missing make")
+  [3.79* | 3.[89]* | 4.*], critic_missing="$critic_missing make")
 
 AC_CHECK_PROG_VER(MSGFMT, gnumsgfmt gmsgfmt msgfmt, --version,
   [GNU gettext.* \([0-9]*\.[0-9.]*\)],
-- 
1.8.4