summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorAgustina Arzille <avarzille@riseup.net>2016-10-17 01:00:36 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2017-09-25 21:32:15 +0200
commite325908339b901451a34d78e0689367acd338bec (patch)
treeed9cead28450bc4a7a0c8509936300e6efa5a429 /Makefile
parentf881f17267506f3ced17259a066a4d95bffb57f0 (diff)
Make pthread_rwlock use gsyncgsync-rwlock
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 9707f57..29843fc 100644
--- a/Makefile
+++ b/Makefile
@@ -189,7 +189,8 @@ headers := \
bits/mutex-attr.h \
bits/rwlock.h \
bits/rwlock-attr.h \
- bits/semaphore.h
+ bits/semaphore.h \
+ bits/xint.h
ifeq ($(IN_GLIBC),yes)
distribute :=