Fixup for gcc headers (if installed)

diff --git a/include/Makefile b/include/Makefile
index c4474ec75e3bd090cda67386f767919a7425a91e..78a5d2447defeb0ef9d4688cb1a685456f30487b 100644 (file)
--- a/include/Makefile
+++ b/include/Makefile
@@ -1,5 +1,7 @@
 
 INC=/usr/include
+GCCVERSION=3.4.3
+MKHEADERS=/usr/gnu//libexec/gcc/i386-pc-minix/$(GCCVERSION)/install-tools/mkheaders
 
 all::
 
@@ -11,3 +13,4 @@ install::
        cpdir . $(INC)
        @chown -R bin $(INC)
        @rm -f $(INC)/Makefile
+       if [ -f $(MKHEADERS) ] ; then sh $(MKHEADERS) ; fi