diff options
author | Julien Rioux <jrioux@physics.utoronto.ca> | 2012-02-21 05:38:10 -0500 |
---|---|---|
committer | Julien Rioux <jrioux@physics.utoronto.ca> | 2012-02-22 09:11:48 -0500 |
commit | a6eae16f672eba5b33e783481d6a9f94502b50e0 (patch) | |
tree | f9c067b52508d02dbd2f361e72e558e7fb536569 /make | |
parent | ac45f622a1b01a089c056d021741e92933161f82 (diff) |
Build: Remove .PRECIOUS flags.
Since 820c7ff5d380e8ca52057717ab3176b5e40107fd all files are treated as
.SECONDARY files. This means that `make' will not delete files that it
identifies as intermediate files, which would be it's default behavior
otherwise.
Currently, lexer and parser files, some font files, and some postscript
files are treated as .PRECIOUS in the build. This means that `make'
will never delete these files, even when the rule for creating them
failed. It seems that these files were flagged as .PRECIOUS in order
to keep them around after a successful build, preventing `make' from
removing them. But treating these files as .SECONDARY is sufficient
for this purpose. The .PRECIOUS flag introduces potential problems
that we would rather avoid.
Diffstat (limited to 'make')
-rw-r--r-- | make/mutopia-targets.make | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/make/mutopia-targets.make b/make/mutopia-targets.make index 4eeb80ed0c..0d49357e46 100644 --- a/make/mutopia-targets.make +++ b/make/mutopia-targets.make @@ -1,8 +1,5 @@ .PHONY: download mutopia png ps scores tar -.PRECIOUS: $(outdir)/%.ps $(outdir)/%-book.ps -.PRECIOUS: $(outdir)-letter/%.ps - all: |