On Wed, 2023-03-08 at 15:53 +0000, David Laight wrote: > Adding a $(filter-out --%,...) should help with old makes:
Yes that's what is there. See the link to the commit I posted. I just couldn't remember why it was necessary to treat things differently between different versions. Dmitry reminded me.
