bug#38714: closed ('make dist' fails on grep master (Fedora 31))

[GNU bug Tracking System]

Your message dated Mon, 21 Sep 2020 12:25:39 -0700
with message-id <80cbaefa-3c07-f589-df9c-c56c188846f2@cs.ucla.edu>
and subject line Re: new snapshot available: grep-3.4-almost.31-fe6c
has caused the debbugs.gnu.org bug report #38714,
regarding 'make dist' fails on grep master (Fedora 31)
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
38714: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38714
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: 'make dist' fails on grep master (Fedora 31) Date: Sun, 22 Dec 2019 17:35:03 -0800 User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.2.2

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.

t.txt
Description: Text document

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: new snapshot available: grep-3.4-almost.31-fe6c
>
>
>
>
> Date: 
>
> Mon, 21 Sep 2020 12:25:39 -0700
>
>
>
>
> User-agent: 
>
> Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0
>
>
>
>
> 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'.
>
>
> --- End Message ---