diff options
Diffstat (limited to 'Makefile.inc1')
| -rw-r--r-- | Makefile.inc1 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.inc1 b/Makefile.inc1 index df3d9d5..4fd97a6 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -758,11 +758,14 @@ buildkernel: @echo "--------------------------------------------------------------" cd ${KRNLOBJDIR}/${_kernel}; ${KMAKE} ${CLEANDIR} .endif +.if !defined(NO_KERNELOBJ) @echo @echo "--------------------------------------------------------------" @echo ">>> stage 2.2: rebuilding the object tree" @echo "--------------------------------------------------------------" cd ${KRNLOBJDIR}/${_kernel}; ${KMAKE} obj +.endif +.if !defined(NO_KERNELTOOLS) @echo @echo "--------------------------------------------------------------" @echo ">>> stage 2.3: build tools" @@ -779,6 +782,7 @@ buildkernel: ${MAKE} -DWITHOUT_SSP -DNO_CPU_CFLAGS -DNO_CTF ${target} .endfor .endif +.endif .if !defined(NO_KERNELDEPEND) @echo @echo "--------------------------------------------------------------" |
