diff options
author | Luke Shumaker <lukeshu@parabola.nu> | 2017-05-05 18:41:03 -0400 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-07-14 06:54:28 +0200 |
commit | 1a2d01fa7c8a4f03fe9813f2b9e3927ca95b0248 (patch) | |
tree | 2dd1227ca143915330541d0122da39bfa88c7cd0 /lib/common.sh | |
parent | 3814e4521f1cdf5b452b62efe004d5f40a4da536 (diff) | |
download | devtools32-1a2d01fa7c8a4f03fe9813f2b9e3927ca95b0248.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 'lib/common.sh')
0 files changed, 0 insertions, 0 deletions