diff options
| author | markm <markm@FreeBSD.org> | 2003-04-30 11:17:33 +0000 |
|---|---|---|
| committer | markm <markm@FreeBSD.org> | 2003-04-30 11:17:33 +0000 |
| commit | cbc517e461acbc6135d7c36a9db96395bc694b28 (patch) | |
| tree | 92ed8a941f660249395549d5324232355d46178b /Makefile.inc1 | |
| parent | 3f80556a0592d9423b21cc4fe79c9b5d57babcde (diff) | |
| download | FreeBSD-src-cbc517e461acbc6135d7c36a9db96395bc694b28.zip FreeBSD-src-cbc517e461acbc6135d7c36a9db96395bc694b28.tar.gz | |
Fix "make world" for the WANT_LINT case. The various build tools
must not try to lint(1) stuff at *-tools time; keep the linting
for the actual build (which comes later).
Diffstat (limited to 'Makefile.inc1')
| -rw-r--r-- | Makefile.inc1 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.inc1 b/Makefile.inc1 index 380db58..b5ad259 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -204,15 +204,15 @@ BMAKE= MAKEOBJDIRPREFIX=${WORLDTMP} \ ${BMAKEENV} ${MAKE} -f Makefile.inc1 \ BOOTSTRAPPING=${OSRELDATE} \ -DNOHTML -DNOINFO -DNOMAN -DNOPIC -DNOPROFILE -DNOSHARED \ - -DNO_CPU_CFLAGS -DNO_WARNS + -DNO_CPU_CFLAGS -DNO_WARNS -DNOLINT # build-tools stage TMAKE= MAKEOBJDIRPREFIX=${OBJTREE} \ ${BMAKEENV} ${MAKE} -f Makefile.inc1 \ - BOOTSTRAPPING=${OSRELDATE} -DNO_CPU_CFLAGS -DNO_WARNS + BOOTSTRAPPING=${OSRELDATE} -DNO_CPU_CFLAGS -DNO_WARNS -DNOLINT # cross-tools stage -XMAKE= TOOLS_PREFIX=${WORLDTMP} ${BMAKE} -DNO_FORTRAN -DNO_GDB +XMAKE= TOOLS_PREFIX=${WORLDTMP} ${BMAKE} -DNO_FORTRAN -DNO_GDB -DNOLINT # world stage WMAKEENV= ${CROSSENV} \ |
