> * 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.)
