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

[Joseph S. Myers]

On Thu, 10 Oct 2013, Marc-Antoine Perennou wrote:

> Currently, configure errors telling make 4 is too old
> since it does not match our regexp.
> 
> configure.in: allow GNU Make 4.*

Typically in such cases we'd allow all of versions 4-9 and any 
two-or-more-digit versions, to avoid this issue arising in future.

-- 
Joseph S. Myers
joseph@codesourcery.com