Re: [PATCH] Install port-deref-deferred.h header for ports.h

2015-09-10 Thread Samuel Thibault
James Clarke, le Thu 10 Sep 2015 11:59:04 +0100, a écrit : > * libports/Makefile (installhdrs): Add port-deref-deferred.h for ports.h Applied, thanks! Samuel

[PATCH] Install port-deref-deferred.h header for ports.h

2015-09-10 Thread James Clarke
* 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 @@ S