Re: makefiles writing to $@ should first write to $@.new

[Peter Eisentraut]

On 24.01.22 04:23, Justin Pryzby wrote:
There are many Makefile rules like
foo: bar
        ./tool $< > $@

If the rule is interrupted (due to ^C or ENOSPC), foo can be 0 bytes or
partially written, but won't be rebuilt until someone runs distclean or debugs
it and removes the individual file, as I did for errcodes.h.

If a rule fails, make removes the target file.  So I don't see how this 
can happen unless you hard kill -9 make or something like that.