> 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. Andrew-- 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/