Re: [PATCH v5.4 0/6] Build time improvements

On Wed, Aug 26, 2020 at 05:28:22PM +0100, Matthias Maennich wrote:

Hi,

please pick up the following patches for 5.4.

Those are build time optimizations for kernel/gen_kheaders.sh, and - by removing bashisms - dropping the dependency to /bin/bash.

In addition, this enables build time improvements across the tree by optionally allowing to use alternative implementations for various compression tools, e.g. GZIP=pigz.

The documentation-only change is not strictly necessary, but keeps kernel/gen_kheaders.sh in sync with mainline.

Looks good, now queued up, thanks.

greg k-h