From cf975bbc222fb4670c4d914d70d71aabf965a714 Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Mon, 26 Jul 2010 12:48:48 +0000 Subject: [PATCH] gcc headers: look at pkgsrc-installed gcc too --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index 95421dfc8..e192a352e 100644 --- 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 -- 2.44.0