On Sun, 2021-12-12 at 20:35 -0500, Dmitry Goncharov wrote: > On Sun, Dec 12, 2021 at 2:15 PM Paul Smith <psm...@gnu.org> wrote: > > Did something happen when it stopped working, like you updated to a > > different version of GNU make? > > i bet this make is built from the current git.
Thanks Dmitry. I was fooled by the "since some time" text which made it sound like this started happening quite a while ago.