diff options
| author | Rickard Green <[email protected]> | 2019-02-23 18:59:06 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2019-02-25 11:18:32 +0100 |
| commit | 00fa7a8def826d2a4c8fb9e2c38208103bf04341 (patch) | |
| tree | 31b57a4087e0e574f294220dda4384102495f303 /erts | |
| parent | 8172af0a1986fe50c3d7ea26baa80fdb423ae13c (diff) | |
| download | otp-00fa7a8def826d2a4c8fb9e2c38208103bf04341.tar.gz otp-00fa7a8def826d2a4c8fb9e2c38208103bf04341.tar.bz2 otp-00fa7a8def826d2a4c8fb9e2c38208103bf04341.zip | |
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 |