* libports/Makefile (installhdrs): Add port-deref-deferred.h for ports.h
---
libports/Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/libports/Makefile b/libports/Makefile
index b8b82ee..af881f8 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
--
2.5.1