From 2dcfa9709bf0c612bb1f6fb0ec0d2b3f81d626b9 Mon Sep 17 00:00:00 2001 From: ru Date: Sun, 6 Apr 2003 21:39:20 +0000 Subject: Always remove ${WORLDTMP}/build/usr/include, even in the NOCLEAN case. This way, we won't have stale compatibility headers there. --- Makefile.inc1 | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile.inc1') diff --git a/Makefile.inc1 b/Makefile.inc1 index 8a3da19..be80d9f 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -269,6 +269,7 @@ _worldtmp: .if !defined(NOCLEAN) rm -rf ${WORLDTMP} .else + rm -rf ${WORLDTMP}/build/usr/include # XXX - These two can depend on any header file. rm -f ${OBJTREE}${.CURDIR}/usr.bin/kdump/ioctl.c rm -f ${OBJTREE}${.CURDIR}/usr.bin/truss/ioctl.c -- cgit v1.1