diff options
author | Luke Shumaker <lukeshu@parabola.nu> | 2017-05-05 18:41:03 -0400 |
---|---|---|
committer | Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> | 2017-07-05 18:21:55 +0200 |
commit | 007d6fc15feb9e4ba8b0e7eedf83d14eb4d54441 (patch) | |
tree | a18ef02a6ff1a5bd112c0b1734029367505579d8 /.gitignore | |
parent | 4f23609d4e4a9a8be837b6d426442de1cd68c653 (diff) | |
download | devtools-007d6fc15feb9e4ba8b0e7eedf83d14eb4d54441.tar.xz |
Makefile: add .DELETE_ON_ERROR:
The absence of it was allowing an (m4-produced) syntax error in
in a change I had made to be masked.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions