Bruno Haible Mon, 10 Jul 2023 12:47:49 -0700
Paul Smith wrote: > Maybe a version difference. I'm using 4.4. I get the same output with GNU make 4.4 as with 4.3.
Bruno