diff options
author | Lukas Larsson <lukas@erlang.org> | 2022-01-04 13:20:42 +0100 |
---|---|---|
committer | Lukas Larsson <lukas@erlang.org> | 2022-01-21 09:26:45 +0100 |
commit | 3ee855772ae7b24336038d34d95fa8169f886a5a (patch) | |
tree | 8ab96a96157f2763a148078966765d04ab0367ac /Makefile.in | |
parent | 707a0d4c60e94d3c80f577ce26415f0fb382f9d0 (diff) | |
download | erlang-3ee855772ae7b24336038d34d95fa8169f886a5a.tar.gz |
otp: Remove dialyzer from makefile apps
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 15521ce237..5b666a4fd8 100644 --- a/Makefile.in +++ b/Makefile.in @@ -509,10 +509,11 @@ endif endif APPS=$(patsubst $(ERL_TOP)/lib/%/doc,%,$(wildcard $(ERL_TOP)/lib/*/doc)) +NO_DIALYZER_APPS=$(filter-out dialyzer, $(APPS)) ## The dialyzer make target should not build the app -.PHONY: $(APPS) +.PHONY: $(NO_DIALYZER_APPS) -$(APPS): +$(NO_DIALYZER_APPS): $(make_verbose)cd lib/$@ && \ ERL_TOP=$(ERL_TOP) PATH=$(BOOT_PREFIX)"$${PATH}" \ $(MAKE) $(TYPE) BUILD_ALL=true |