diff options
| author | Peter Lemenkov <[email protected]> | 2014-08-26 13:53:49 +0400 |
|---|---|---|
| committer | Peter Lemenkov <[email protected]> | 2014-08-26 13:53:51 +0400 |
| commit | 22b78c2df4d5faa80b6a96d3fb2e204ad0662c13 (patch) | |
| tree | 991549ac9a8417aa957d64ef03ef76fad47e54ae /lib/kernel/src/Makefile | |
| parent | 83113d9f1df48dc73fbff82705e8aa3fb3af6723 (diff) | |
| download | otp-22b78c2df4d5faa80b6a96d3fb2e204ad0662c13.tar.gz otp-22b78c2df4d5faa80b6a96d3fb2e204ad0662c13.tar.bz2 otp-22b78c2df4d5faa80b6a96d3fb2e204ad0662c13.zip | |
Install internal hrl files when necessary
Sometimes we install *.erl files. Some these files include a private
*.hrl files, so in order to make these *.erl files usable we have to
install these private includes as well.
Signed-off-by: Peter Lemenkov <[email protected]>
Diffstat (limited to 'lib/kernel/src/Makefile')
| -rw-r--r-- | lib/kernel/src/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/kernel/src/Makefile b/lib/kernel/src/Makefile index cb3c0a49f4..c7c70ad257 100644 --- a/lib/kernel/src/Makefile +++ b/lib/kernel/src/Makefile @@ -122,6 +122,7 @@ HRL_FILES= ../include/file.hrl ../include/inet.hrl ../include/inet_sctp.hrl \ ../include/net_address.hrl INTERNAL_HRL_FILES= application_master.hrl disk_log.hrl \ + erl_epmd.hrl hipe_ext_format.hrl \ inet_dns.hrl inet_res.hrl \ inet_boot.hrl inet_config.hrl inet_int.hrl \ inet_dns_record_adts.hrl |