gcc headers: look at pkgsrc-installed gcc too

diff --git a/Makefile b/Makefile
index 95421dfc8c004fa9aa63f044c905dc6ec1355978..e192a352e233dc2c3429fd0ff0018d78c93019a1 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -48,9 +48,11 @@ libraries: includes
 
 MKHEADERS411=/usr/gnu/libexec/gcc/i386-pc-minix/4.1.1/install-tools/mkheaders
 MKHEADERS443=/usr/gnu/libexec/gcc/i686-pc-minix/4.4.3/install-tools/mkheaders
+MKHEADERS443_PKGSRC=/usr/pkg/gcc44/libexec/gcc/i686-pc-minix/4.4.3/install-tools/mkheaders
 gnu-includes: includes
        SHELL=/bin/sh; if [ -f $(MKHEADERS411) ] ; then sh -e $(MKHEADERS411) ; fi
        SHELL=/bin/sh; if [ -f $(MKHEADERS443) ] ; then sh -e $(MKHEADERS443) ; fi
+       SHELL=/bin/sh; if [ -f $(MKHEADERS443_PKGSRC) ] ; then sh -e $(MKHEADERS443_PKGSRC) ; fi
 
 gnu-libraries: includes
        $(MAKE) -C lib build_gnu