On 9/21/20 12:21 PM, Jim Meyering wrote:
I ran into that problem in July or so and took the easy way out: I built the latest from git and installed that early in my shell's search path (on Fedora 32). Now make --version reports I'm using 4.3.90.
Ah, OK, good enough. I'm closing the bug report then, as it's OK to require the latest tools to run 'make dist'.
