diff options
author | Arun Isaac | 2021-11-05 17:02:29 +0530 |
---|---|---|
committer | Arun Isaac | 2021-11-05 17:28:53 +0530 |
commit | 6a058db94f5602f85ba98e7c4191539aa381ec0b (patch) | |
tree | 2b96a3f1f71d378a2c0bedb91aa69b57a488e177 | |
parent | 0629e0d5a4234e90e7d34b70cc8bea0c21943736 (diff) | |
download | ccwl-6a058db94f5602f85ba98e7c4191539aa381ec0b.tar.gz ccwl-6a058db94f5602f85ba98e7c4191539aa381ec0b.tar.lz ccwl-6a058db94f5602f85ba98e7c4191539aa381ec0b.zip |
Makefile: Delete target if recipe fails.
Without this, when recipes involving output redirection fail, their
targets are not deleted.
* Makefile.am (.DELETE_ON_ERROR): New target.
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 9098334..8b55fd7 100644 --- a/Makefile.am +++ b/Makefile.am @@ -96,6 +96,8 @@ EXTRA_DIST += \ COPYING \ README.org +.DELETE_ON_ERROR: + # Build documentation include .depends |