diff options
| author | bors <bors@rust-lang.org> | 2016-09-20 01:24:54 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-20 01:24:54 -0700 |
| commit | 2c2552b712386dd01a9d620aff960b98cddb4098 (patch) | |
| tree | c9e13bfa051e312e5e4d4b85060c7144f3950864 | |
| parent | cbd84aeb73ba1db2ce533fc764f28d748b9a0bb5 (diff) | |
| parent | 332ba1286eef931c2e48816cb207e775cc6ccd1b (diff) | |
| download | rust-2c2552b712386dd01a9d620aff960b98cddb4098.tar.gz rust-2c2552b712386dd01a9d620aff960b98cddb4098.zip | |
Auto merge of #36445 - infinity0:master, r=brson
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 275dbb55d74..7dcf3a7f3ac 100644 --- a/mk/main.mk +++ b/mk/main.mk @@ -633,7 +633,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 |
