From: Andre Noll Date: Mon, 31 Dec 2012 00:10:50 +0000 (+0000) Subject: Speed up dep target. X-Git-Tag: v0.4.13~57 X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=commitdiff_plain;h=ab0ccdfcabd85453d155f913a8024f0be38e427e Speed up dep target. By default "make" removes intermediate files during the build. However, some of the files generated by gengetopt are needed again later for a different target. This patch declares these generated files as "precious", so they will no longer be removed. On one system the build time went down from 30s to 25s due to this one-liner. --- diff --git a/m4/gengetopt/makefile b/m4/gengetopt/makefile index 138ac30b..05be1379 100644 --- a/m4/gengetopt/makefile +++ b/m4/gengetopt/makefile @@ -7,6 +7,8 @@ define ggo_opts --set-package="para_$(*F)" endef +.PRECIOUS: $(cmdline_dir)/%.cmdline.c $(cmdline_dir)/%.cmdline.h $(ggo_dir)/%.ggo + $(cmdline_dir)/%.cmdline.h $(cmdline_dir)/%.cmdline.c: $(ggo_dir)/%.ggo | $(cmdline_dir) @[ -z "$(Q)" ] || echo 'GGO $<' $(Q) $(GENGETOPT) $(ggo_opts) < $<