summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2017-11-05 13:00:31 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2017-11-05 13:00:31 +0100
commitb279c3618db5740e155c110e8dca395132b53ecd (patch)
tree322634dd8c8058bf4be0d86d3aa5554bd46dd196
parentc5446ccd59e5b3adb89071167bcf0ff26303c57e (diff)
Install missing headers
* Makefile (headers): Add bits/pthreadtypes-arch.h and bits/thread-shared-types.h.
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 3f59924..94f8576 100644
--- a/Makefile
+++ b/Makefile
@@ -175,6 +175,8 @@ headers := \
bits/pthread.h \
bits/pthread-np.h \
bits/pthreadtypes.h \
+ bits/pthreadtypes-arch.h \
+ bits/thread-shared-types.h \
bits/mutex.h \
bits/condition.h \
bits/condition-attr.h \