diff options
-rw-r--r-- | include/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/include/Makefile b/include/Makefile index 1dfe4cc..ead42d3 100644 --- a/include/Makefile +++ b/include/Makefile @@ -1,5 +1,5 @@ # From: @(#)Makefile 8.2 (Berkeley) 1/4/94 -# $Id: Makefile,v 1.61 1997/08/18 06:28:47 peter Exp $ +# $Id: Makefile,v 1.62 1997/08/21 09:29:46 jmg Exp $ # # Doing a make install builds /usr/include # @@ -66,7 +66,10 @@ all: beforeinstall: installhdrs ${SHARED} +.if make(installhdrs) installhdrs: _SUBDIR +.endif +installhdrs: cd ${.CURDIR}; \ ${INSTALL} -C -o ${BINOWN} -g ${BINGRP} -m 444 \ ${FILES} ${DESTDIR}/usr/include |