diff options
| author | Micael Karlberg <[email protected]> | 2019-07-08 15:28:44 +0200 |
|---|---|---|
| committer | Micael Karlberg <[email protected]> | 2019-07-08 15:28:44 +0200 |
| commit | 4c06ed65cb06f13f836d0d05ac8274557963a6f6 (patch) | |
| tree | fd1e5bbda74838d177237003811feb7022b986e1 /make | |
| parent | 231b555feb463550864c7b4767dd07df07b4b287 (diff) | |
| parent | b40524bc9c0be4c11da28435e497c2a7c1f5368e (diff) | |
| download | otp-4c06ed65cb06f13f836d0d05ac8274557963a6f6.tar.gz otp-4c06ed65cb06f13f836d0d05ac8274557963a6f6.tar.bz2 otp-4c06ed65cb06f13f836d0d05ac8274557963a6f6.zip | |
Merge branch 'maint'
Diffstat (limited to 'make')
| -rw-r--r-- | make/otp.mk.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/make/otp.mk.in b/make/otp.mk.in index cdddb90734..cc76f00e7e 100644 --- a/make/otp.mk.in +++ b/make/otp.mk.in @@ -110,6 +110,10 @@ ifdef BOOTSTRAP else ERL_COMPILE_FLAGS += +debug_info endif +ifeq ($(USE_ESOCK),yes) +ERL_COMPILE_FLAGS += -DUSE_ESOCK=true +endif + ERLC_WFLAGS = -W ERLC = erlc $(ERLC_WFLAGS) $(ERLC_FLAGS) ERL = erl -boot start_clean |