diff options
| author | Ximin Luo <infinity0@pwned.gg> | 2016-09-13 10:09:36 +0200 |
|---|---|---|
| committer | Ximin Luo <infinity0@pwned.gg> | 2016-09-13 10:09:36 +0200 |
| commit | 332ba1286eef931c2e48816cb207e775cc6ccd1b (patch) | |
| tree | 3904bf323898b3c497e9a71eae69eaf8af65d6a2 | |
| parent | 09905b11776ac51a0ca3df84ef0363099dca6341 (diff) | |
| download | rust-332ba1286eef931c2e48816cb207e775cc6ccd1b.tar.gz rust-332ba1286eef931c2e48816cb207e775cc6ccd1b.zip | |
mk: add a all-no-docs target to build everything except docs
This makes things slightly more efficient for Debian's auto-builders where the docs can be built on just one architecture, and distributed to users of all other architectures as well.
| -rw-r--r-- | mk/main.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mk/main.mk b/mk/main.mk index 6130b581387..fae1546408a 100644 --- a/mk/main.mk +++ b/mk/main.mk @@ -630,7 +630,8 @@ ALL_TARGET_RULES = $(foreach target,$(CFG_TARGET), \ $(foreach host,$(CFG_HOST), \ all-target-$(target)-host-$(host))) -all: $(ALL_TARGET_RULES) $(GENERATED) docs +all-no-docs: $(ALL_TARGET_RULES) $(GENERATED) +all: all-no-docs docs ###################################################################### # Build system documentation |