diff options
author | Loïc Hoguin <[email protected]> | 2015-05-09 16:55:23 +0300 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2015-05-09 16:55:23 +0300 |
commit | f458e45abf7e114a55272bd494d6a5c13f7c85bc (patch) | |
tree | 13d3e30251533105bc133512652ffd0c27461bd6 /core/docs.mk | |
parent | 7d28bd8d9eb449c360eb9582e282bd4756f76be9 (diff) | |
download | erlang.mk-f458e45abf7e114a55272bd494d6a5c13f7c85bc.tar.gz erlang.mk-f458e45abf7e114a55272bd494d6a5c13f7c85bc.tar.bz2 erlang.mk-f458e45abf7e114a55272bd494d6a5c13f7c85bc.zip |
Skip any handling of dependencies if SKIP_DEPS is defined
This includes fetching and compilation. Example usage:
SKIP_DEPS=1 make tests
Should improve people's life when there are no Internets.
Diffstat (limited to 'core/docs.mk')
-rw-r--r-- | core/docs.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/core/docs.mk b/core/docs.mk index 9637d32..e1e2d0e 100644 --- a/core/docs.mk +++ b/core/docs.mk @@ -11,5 +11,9 @@ ALL_DOC_DEPS_DIRS = $(addprefix $(DEPS_DIR)/,$(DOC_DEPS)) $(foreach dep,$(DOC_DEPS),$(eval $(call dep_target,$(dep)))) +ifneq ($(SKIP_DEPS),) +doc-deps: +else doc-deps: $(ALL_DOC_DEPS_DIRS) @for dep in $(ALL_DOC_DEPS_DIRS) ; do $(MAKE) -C $$dep; done +endif |