diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-02-01T15·30+0100 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-02-01T15·30+0100 |
| commit | 6dca72006aa9b1cf2f226bb5b538e744fcab976f (patch) | |
| tree | d3cf77c9c02e868f2780678659afc5563d825c21 | |
| parent | 2a97f7b039be4cd290076707e1b02d04d3b257b6 (diff) | |
Only run "git ls-files" when doing "make check"
| -rw-r--r-- | doc/manual/local.mk | 2 | ||||
| -rw-r--r-- | local.mk | 4 |
2 files changed, 4 insertions, 2 deletions
diff --git a/doc/manual/local.mk b/doc/manual/local.mk index 081b9855702a..4342215b0e44 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 174e6150e079..c48857f24be7 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 |