Re: GNU make 4.3.90 release candidate available

[Frank Heckenbach]

> * Some POSIX systems (*BSD) do not allow locks to be taken on pipes, which
>   caused the output sync feature to not work properly there.  Also multiple
>   invocations of make redirecting to the same output file (e.g., /dev/null)
>   would cause hangs.  Instead of locking stdout (which does have some useful
>   performance characteristics, but is not portable) create a temporary file
>   and lock that.  Windows continues to use a mutex as before.

When make is interrupted (e.g. Ctrl+C), it fails to delete this
temporary file. (I assume that's what /tmp/Gm* is.)