aboutsummaryrefslogtreecommitdiffstats
path: root/erts
diff options
context:
space:
mode:
authorRickard Green <[email protected]>2019-02-23 18:59:06 +0100
committerRickard Green <[email protected]>2019-02-25 11:18:32 +0100
commit00fa7a8def826d2a4c8fb9e2c38208103bf04341 (patch)
tree31b57a4087e0e574f294220dda4384102495f303 /erts
parent8172af0a1986fe50c3d7ea26baa80fdb423ae13c (diff)
downloadotp-00fa7a8def826d2a4c8fb9e2c38208103bf04341.tar.gz
otp-00fa7a8def826d2a4c8fb9e2c38208103bf04341.tar.bz2
otp-00fa7a8def826d2a4c8fb9e2c38208103bf04341.zip
Document deprecations and removals
Diffstat (limited to 'erts')
-rwxr-xr-xerts/autoconf/configure.vxworks2
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