From 5e8e02f53c47bcf108c64263249795f702b8b19a Mon Sep 17 00:00:00 2001 From: James Clarke Date: Thu, 10 Sep 2015 11:59:04 +0100 Subject: Install port-deref-deferred.h header for ports.h * 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 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 -- cgit v1.2.3