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
