On Wed, Oct 23, 2013 at 04:47:38PM +0000, Boie, Andrew P wrote: > > From: Guenter Roeck [li...@roeck-us.net] > > 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. > > Debian/Ubuntu provides the update-alternatives command for that > > purpose. If that is not available, just hard-link it. > > Android minigzip and gzip unfortunately don't have the same command line > syntax. Before I wrote this patch I had a horrible hack in place involving a > shell script named "gzip" that called minigzip internally. > Why is that a horrible hack ? I think it is better than clogging kernel makefiles with that kind of tools detail. Actually, you have (at least) three other options: fix/update gzip, update minigzip to match the gzip cli, or use a script to map one to the other.
Guenter -- 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/
