aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2014-02-01 16:30:24 +0100
committerEelco Dolstra <eelco.dolstra@logicblox.com>2014-02-01 16:30:24 +0100
commit6dca72006aa9b1cf2f226bb5b538e744fcab976f (patch)
treed3cf77c9c02e868f2780678659afc5563d825c21
parent2a97f7b039be4cd290076707e1b02d04d3b257b6 (diff)
Only run "git ls-files" when doing "make check"
-rw-r--r--doc/manual/local.mk2
-rw-r--r--local.mk4
2 files changed, 4 insertions, 2 deletions
diff --git a/doc/manual/local.mk b/doc/manual/local.mk
index 081b98557..4342215b0 100644
--- a/doc/manual/local.mk
+++ b/doc/manual/local.mk
@@ -47,7 +47,7 @@ $(man-pages): $(d)/manual.xmli $(d)/manual.is-valid
clean-files += $(d)/*.1 $(d)/*.5 $(d)/*.8
-dist-files += $(d)/*.1 $(d)/*.5 $(d)/*.8
+dist-files += $(man-pages)
# Generate the HTML manual.
diff --git a/local.mk b/local.mk
index 174e6150e..c48857f24 100644
--- a/local.mk
+++ b/local.mk
@@ -1,4 +1,6 @@
-dist-files += $(shell git ls-files) $(shell git ls-files)
+ifeq ($(MAKECMDGOALS), dist)
+ dist-files += $(shell git ls-files) $(shell git ls-files)
+endif
dist-files += configure config.h.in