From 3446338915400003387b9bfde7d789b34f8c224a Mon Sep 17 00:00:00 2001 From: dillon Date: Sun, 13 Dec 1998 04:39:01 +0000 Subject: [PATCH] Grr. removed. backed-out. sorry! --- Makefile.inc1 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile.inc1 b/Makefile.inc1 index 37316c69f35b..8f7a821511fa 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -1,5 +1,5 @@ # -# $Id: Makefile.inc1,v 1.46 1998/11/28 13:14:58 jkh Exp $ +# $Id: Makefile.inc1,v 1.47 1998/12/13 04:32:13 dillon Exp $ # # Make command line options: # -DCLOBBER will remove /usr/include @@ -476,7 +476,7 @@ bootstrap: rm -f ${DESTDIR}/usr/src/sys ln -s ${.CURDIR}/sys ${DESTDIR}/usr/src cd ${.CURDIR}/include; find -dx . | cpio -dump ${DESTDIR}/usr/include -.for d in dev net netatm netinet posix4 sys vm machine +.for d in net netatm netinet posix4 sys vm machine if [ -h ${DESTDIR}/usr/include/$d ]; then \ rm -f ${DESTDIR}/usr/include/$d ; \ fi