On Wed, 2023-03-08 at 09:39 -0500, Dmitry Goncharov wrote: > On Wed, Mar 8, 2023 at 8:58 AM Paul Smith <psm...@gnu.org> wrote: > > Does anyone know why this commit is using a make version > > comparison? > > Kernel build system is expected to work with gnu make-3.82. > make-3.82 puts long options before short ones.
I had totally forgotten that, and it was only 10 years ago. How embarrassing. Thanks Dmitry!