diff options
author | Rickard Green <[email protected]> | 2019-02-25 11:20:52 +0100 |
---|---|---|
committer | Rickard Green <[email protected]> | 2019-02-25 11:20:52 +0100 |
commit | 5045fe8660545754ab5ec6bb3cbcf3a8ff7d9697 (patch) | |
tree | 6073545f9b4a579e3299b0d36f9aeacfc4d0d64b /erts | |
parent | 2c06e174d6515b6a842906de9e6ebc70bd2f2ec0 (diff) | |
parent | 00fa7a8def826d2a4c8fb9e2c38208103bf04341 (diff) | |
download | otp-5045fe8660545754ab5ec6bb3cbcf3a8ff7d9697.tar.gz otp-5045fe8660545754ab5ec6bb3cbcf3a8ff7d9697.tar.bz2 otp-5045fe8660545754ab5ec6bb3cbcf3a8ff7d9697.zip |
Merge branch 'rickard/deprecations-removals'
OTP-15621 OTP-15622
* rickard/deprecations-removals:
Document deprecations and removals
Diffstat (limited to 'erts')
-rwxr-xr-x | erts/autoconf/configure.vxworks | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/erts/autoconf/configure.vxworks b/erts/autoconf/configure.vxworks index a253848403..1893f3f7e0 100755 --- a/erts/autoconf/configure.vxworks +++ b/erts/autoconf/configure.vxworks @@ -93,6 +93,7 @@ erts_lib_src=${ERL_TOP}/erts/lib_src erts_incl=${ERL_TOP}/erts/include erts_incl_intrnl=${ERL_TOP}/erts/include/internal etcdir=${ERL_TOP}/erts/etc/common +erlint_incl_dir=${ERL_TOP}/lib/erl_interface/include erlint_dir=${ERL_TOP}/lib/erl_interface/src epmd_dir=${ERL_TOP}/erts/epmd/src os_mon_dir=${ERL_TOP}/lib/os_mon/c_src @@ -109,6 +110,7 @@ CONFIG_FILES="${ERL_TOP}/erts/emulator/$host/Makefile $erts_incl_intrnl/$host/ethread.mk $erts_incl_intrnl/$host/ethread_header_config.h $etcdir/$host/Makefile + $erlint_incl_dir/$host/ei_config.h $erlint_dir/$host/Makefile $erlint_dir/$host/eidefs.mk $epmd_dir/$host/Makefile |