On Wed, Dec 16, 2009 at 06:43:01PM -0800, H. Peter Anvin wrote: > On 12/16/2009 05:39 PM, Roland Dreier wrote: > > Is there any reason not to apply the patch below, to allow more awk > > implementations to be used? After all, it's not like we're going to put > > non-ASCII characters into the map file... > > I guess the question is if it will break under any other circumstances, > but I guess we can find those when we get to them. > > There was a long discussion about the use of awk on IRC today. > Apparently mawk, in particular, is actively broken, because the > maintainer believe that POSIX is crap. There are quite a few issues > with it, according to reports. still is more compact than gawk, less loaded with GNU "extensions" and happens to be default on debian and debian-derived userlands. -- To unsubscribe from this list: send the line "unsubscribe linux-kbuild" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html