summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJames Clarke <jrtc27@jrtc27.com>2015-09-10 11:59:04 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2015-09-10 19:52:54 +0200
commit5e8e02f53c47bcf108c64263249795f702b8b19a (patch)
tree9976e6a479201cd697ba6ae99fdbcb6dae8ce213
parent87a79cbf282e97a7e729205d7cb19182c298474a (diff)
Install port-deref-deferred.h header for ports.h
* libports/Makefile (installhdrs): Add port-deref-deferred.h for ports.h
-rw-r--r--libports/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/libports/Makefile b/libports/Makefile
index b8b82eea..af881f82 100644
--- a/libports/Makefile
+++ b/libports/Makefile
@@ -38,7 +38,7 @@ SRCS = create-bucket.c create-class.c \
claim-right.c transfer-right.c create-port-noinstall.c create-internal.c \
interrupted.c extern-inline.c port-deref-deferred.c
-installhdrs = ports.h
+installhdrs = ports.h port-deref-deferred.h
HURDLIBS= ihash
LDLIBS += -lpthread