[PATCH] Implement a workaround for GNU mak jobserver

[Andreas Schwab]

On Okt 27 2020, H.J. Lu wrote:

> After Makefile was recreated by the original part of config.status,
> config.status
> needs to re-edit Makefile to add the '+".

So after making Makefile the newest file it is made slightly newer, but
still the newest file.  Why is that a problem?

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."