Subject: 'make dist' fails on grep master (Fedora 31)
From: Paul Eggert <[email-masked]>
To: GNU grep bug reports <[email-masked]>
Date: Sun, 22 Dec 2019 17:35:03 -0800
List-Id: <debbugs-submit.debbugs.gnu.org>

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.