From 231d889e774d254fe6012576441a14a0598bc8ed Mon Sep 17 00:00:00 2001 From: markm Date: Thu, 24 Jul 2003 18:14:29 +0000 Subject: Don't lint(1) so early in the build. Its OK to keep this for the "make all" phase. --- Makefile.inc1 | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Makefile.inc1') diff --git a/Makefile.inc1 b/Makefile.inc1 index 0ef908f..cce8db7 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -339,7 +339,8 @@ _libraries: @echo "--------------------------------------------------------------" @echo ">>> stage 4: building libraries" @echo "--------------------------------------------------------------" - cd ${.CURDIR}; ${WMAKE} -DNOHTML -DNOINFO -DNOMAN -DNOFSCHG libraries + cd ${.CURDIR}; ${WMAKE} -DNOHTML -DNOINFO -DNOMAN -DNOFSCHG -DNOLINT \ + libraries _depend: @echo @echo "--------------------------------------------------------------" -- cgit v1.1