tags 13760 + patch stop On 04/23/2013 11:12 AM, Stefano Lattarini wrote: > Reference: <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=13760> > > Hello, and sorry for the shameful delay. > > Boris Kolpackov wrote: >> >> I think if we try to support all make flavors in a combined test, >> things will get messy (my other idea was to resort to executing make if >> MAKEFLAGS contains more than one word). Seeing that the majority is >> probably using GNU make and we can do a really fast test for it, it >> would be bad to resort to some pessimistic tests (like running make) >> just so that we can support other makes. >> > This sounds sensible. I've taken this approach of using an "optimized" > test for GNU make, and the more messy tests (in a "best-effort" fashion) > for non-GNU makes. > > So, this series should fix automake bug#13760. Testing and comments are > welcome. I will proceed to push in a few days if there is no objection. > Pushed now. I'm thus closing this bug report.
Thanks, Stefano
