diff options
author | Magnus Lidén <[email protected]> | 2014-07-02 09:59:15 +0200 |
---|---|---|
committer | Magnus Lidén <[email protected]> | 2014-07-02 09:59:15 +0200 |
commit | 3edf161fa05cb1b16d8d3f98c6666d9b71293535 (patch) | |
tree | ff18c236ae06984ddd2fcf758c001d8a59fc4522 /erts/lib_src/Makefile.in | |
parent | a6de62be5de44b249bc2d1c963c0c31bed5d32d0 (diff) | |
parent | fbc5f26d8f00277aca13fd97a0eef2423446c249 (diff) | |
download | otp-3edf161fa05cb1b16d8d3f98c6666d9b71293535.tar.gz otp-3edf161fa05cb1b16d8d3f98c6666d9b71293535.tar.bz2 otp-3edf161fa05cb1b16d8d3f98c6666d9b71293535.zip |
Merge branch 'maint'
Diffstat (limited to 'erts/lib_src/Makefile.in')
-rw-r--r-- | erts/lib_src/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/erts/lib_src/Makefile.in b/erts/lib_src/Makefile.in index cf1aef518a..b680c03b1d 100644 --- a/erts/lib_src/Makefile.in +++ b/erts/lib_src/Makefile.in @@ -465,6 +465,7 @@ RELEASE_LIBS=$(ERTS_LIBS) INTERNAL_RELEASE_INCLUDES= \ $(ERTS_INCL_INT)/README \ $(ERTS_INCL_INT)/ethread.h \ + $(ERTS_INCL_INT)/ethread_inline.h \ $(ERTS_INCL_INT)/ethr_mutex.h \ $(ERTS_INCL_INT)/ethr_optimized_fallbacks.h \ $(ERTS_INCL_INT)/ethr_atomics.h \ |