8 Mar
2023
8 Mar
'23
5:50 p.m.
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.