diff options
| author | Mike Gerwitz <mike.gerwitz@rtspecialty.com> | 2018-10-11 21:24:09 -0400 |
|---|---|---|
| committer | Mike Gerwitz <mike.gerwitz@rtspecialty.com> | 2018-10-11 22:25:19 -0400 |
| commit | dc1d8036d66699f2f8968cd6face54f37b74949c (patch) | |
| tree | 7f23a41b98de08b5981a1169bfa7632d08f36507 | |
| parent | 4442a3a3c2e5d6e60e0f243f285d1be708a3728e (diff) | |
| download | tame-dc1d8036d66699f2f8968cd6face54f37b74949c.tar.gz tame-dc1d8036d66699f2f8968cd6face54f37b74949c.tar.bz2 tame-dc1d8036d66699f2f8968cd6face54f37b74949c.zip | |
build-aux/Makefile.am: .{PRECIOUS=>SECONDARY}
This will keep the intermediate files around but will still delete them on
build failure.
* build-aux/Makefile.am (.SECONDARY): Renamed from `.PRECIOUS'.
| -rw-r--r-- | build-aux/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-aux/Makefile.am b/build-aux/Makefile.am index e1f07a8..73555ba 100644 --- a/build-aux/Makefile.am +++ b/build-aux/Makefile.am @@ -73,7 +73,7 @@ SHELL = /bin/bash -O extglob # these files will never be deleted when Make considers them to be intermediate # (e.g. when building summary pages), since they are still needed or take a # while to build -.PRECIOUS: %.js %.xml %.xmle %.xmlo +.SECONDARY: %.js %.xml %.xmle %.xmlo all: program-data-copy |