diff options
author | Lukas Larsson <[email protected]> | 2019-04-05 14:23:51 +0200 |
---|---|---|
committer | Lukas Larsson <[email protected]> | 2019-04-10 09:43:54 +0200 |
commit | 5f151e730217d1d06d3bdd3a4d52f1aec25a6676 (patch) | |
tree | c905c9aa626caa586e4e4107f44ab2133e625a42 | |
parent | 2fb91a49a55554ec1a9de7256c7e285860b4048a (diff) | |
download | otp-5f151e730217d1d06d3bdd3a4d52f1aec25a6676.tar.gz otp-5f151e730217d1d06d3bdd3a4d52f1aec25a6676.tar.bz2 otp-5f151e730217d1d06d3bdd3a4d52f1aec25a6676.zip |
otp: make top Makefile app target respect TYPE variable
-rw-r--r-- | Makefile.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.in b/Makefile.in index 6cbd92a55b..25003f47a9 100644 --- a/Makefile.in +++ b/Makefile.in @@ -485,11 +485,11 @@ libs: ifeq ($(OTP_SMALL_BUILD),true) $(make_verbose)cd lib && \ ERL_TOP=$(ERL_TOP) PATH=$(BOOT_PREFIX)"$${PATH}" \ - $(MAKE) opt + $(MAKE) $(TYPE) else $(make_verbose)cd lib && \ ERL_TOP=$(ERL_TOP) PATH=$(BOOT_PREFIX)"$${PATH}" \ - $(MAKE) opt BUILD_ALL=true + $(MAKE) $(TYPE) BUILD_ALL=true $(V_at)test -f $(ERL_TOP)/make/otp_built || echo "OTP built" > $(ERL_TOP)/make/otp_built endif @@ -498,7 +498,7 @@ APPS=$(patsubst $(ERL_TOP)/lib/%/doc,%,$(wildcard $(ERL_TOP)/lib/*/doc)) $(APPS): $(make_verbose)cd lib/$@ && \ ERL_TOP=$(ERL_TOP) PATH=$(BOOT_PREFIX)"$${PATH}" \ - $(MAKE) opt BUILD_ALL=true + $(MAKE) $(TYPE) BUILD_ALL=true preloaded: $(make_verbose)cd erts/preloaded/src && \ |