diff options
author | markm <markm@FreeBSD.org> | 2003-07-24 18:14:29 +0000 |
---|---|---|
committer | markm <markm@FreeBSD.org> | 2003-07-24 18:14:29 +0000 |
commit | 231d889e774d254fe6012576441a14a0598bc8ed (patch) | |
tree | d36810d8c5ba27319c376316d75054fecd618c25 | |
parent | f46ab03663cc8cc561d0e7ef6afbb6d15761b534 (diff) | |
download | FreeBSD-src-231d889e774d254fe6012576441a14a0598bc8ed.zip FreeBSD-src-231d889e774d254fe6012576441a14a0598bc8ed.tar.gz |
Don't lint(1) so early in the build. Its OK to keep this for the
"make all" phase.
-rw-r--r-- | Makefile.inc1 | 3 |
1 files changed, 2 insertions, 1 deletions
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 "--------------------------------------------------------------" |