diff options
| author | Lukas Larsson <[email protected]> | 2019-03-18 17:15:03 +0100 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2019-03-25 13:36:24 +0100 |
| commit | d7a742cb421ed24ac37c283dcbd060e52d713f3c (patch) | |
| tree | 2b23c3c97a8cbd840c9ac7dcabb54cf0ac7aa39f /erts/Makefile | |
| parent | 65f78b464a4a58a634e1767f8b55718da974b3ce (diff) | |
| download | otp-d7a742cb421ed24ac37c283dcbd060e52d713f3c.tar.gz otp-d7a742cb421ed24ac37c283dcbd060e52d713f3c.tar.bz2 otp-d7a742cb421ed24ac37c283dcbd060e52d713f3c.zip | |
erts: Fix make system to pass TYPE from top level
This makes it possible to do:
make release TYPE=debug
from ERL_TOP and it will build the correct things.
Diffstat (limited to 'erts/Makefile')
| -rw-r--r-- | erts/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/erts/Makefile b/erts/Makefile index 60c70b6a2c..e62c896170 100644 --- a/erts/Makefile +++ b/erts/Makefile @@ -129,9 +129,13 @@ makefiles: .PHONY: release release: +ifeq ($(TYPE),) for t in $(TYPES); do \ ( cd emulator && $(MAKE) release TYPE=$$t ) || exit $$?; \ done +else + ( cd emulator && $(MAKE) release TYPE=$(TYPE) ) || exit $$?; +endif $(V_at)for d in $(ERTSDIRS) $(XINSTDIRS); do \ if test -d $$d; then \ ( cd $$d && $(MAKE) $@ ) || exit $$? ; \ |