Subject: 'make dist' fails on grep master (Fedora 31)

From: Paul Eggert <[email-masked]>
Date: Sun, 22 Dec 2019 17:35:03 -0800

I think it has something to do with Fedora 31 using GNU Make 4.2.1, which uses a
different output format when debugging. Log of failure is attached.