diff options
| author | James Clarke <jrtc27@jrtc27.com> | 2015-09-10 11:59:04 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2015-09-10 19:52:54 +0200 |
| commit | 5e8e02f53c47bcf108c64263249795f702b8b19a (patch) | |
| tree | 9976e6a479201cd697ba6ae99fdbcb6dae8ce213 | |
| parent | 87a79cbf282e97a7e729205d7cb19182c298474a (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/Makefile | 2 |
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 |