[PATCH 04/10] Require GNU make

[Tom Tromey]

>>>>> "Mike" == Mike Frysinger via Gdb-patches <gdb-patches@sourceware.org> writes:

Mike> you're not wrong, but i don't think it's any worse than plain make.  i'm
Mike> not plain make would be better either.  we're using non-recursive make :).

Yeah, a non-recursive build would definitely be better.  Given that this
is the goal, I'm thinking I may drop some of this series.  I guess I
would keep patch #1-#7 (some are a different direction from Automake,
but improve things in an updateable way in the meantime), drop #8 and #9
(which split up Make-common.in, probably just making things harder), and
keep #10 (remove some configure checks).

Let me know if that sounds OK to you.

Tom