chiark / gitweb /
Add .DELETE_ON_ERROR target to Makefile
authorBen Harris <bjh21@bjh21.me.uk>
Mon, 11 Nov 2024 22:28:40 +0000 (22:28 +0000)
committerBen Harris <bjh21@bjh21.me.uk>
Thu, 14 Nov 2024 23:31:36 +0000 (23:31 +0000)
commitc93160c507fbb34b581f06aae8610e9e8ab93e34
tree1a97d1182633e7cb9cb78796763da1594e62e177
parentb8abf30fcd0beec4ec958e583e123bb94ffe5410
Add .DELETE_ON_ERROR target to Makefile

That ensures that output files of a rule get properly deleted if the
recipe fails, which is almost always correct.
Makefile