On 23.10.2013 04:53, Guenter Roeck wrote: > On 10/22/2013 05:26 PM, H. Peter Anvin wrote: >> Wouldn't it be better to fix gzip than hacking around this in the kernel? >> > Or just change the build system to have /bin/gzip point to minigzip if so > desired. I have done the same to replace it with pigz.
Yes. And if the Makefiles must be patched, then I'd suggest adding a $(GZIP) variable to the main Makefile and using that: make GZIP=pigz bzImage make GZIP=minigzip bzImage Michal -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
