diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 10 |
1 files changed, 0 insertions, 10 deletions
@@ -682,13 +682,6 @@ universe_${target}_${target_arch}: universe_${target}_prologue .MAKE .PHONY universe_${target}_done: universe_${target}_kernels .PHONY universe_${target}_kernels: universe_${target}_worlds .PHONY universe_${target}_kernels: universe_${target}_prologue .MAKE .PHONY - @if [ -e "${KERNSRCDIR}/${target}/conf/NOTES" ]; then \ - (cd ${KERNSRCDIR}/${target}/conf && env __MAKE_CONF=/dev/null \ - ${SUB_MAKE} LINT \ - > ${.CURDIR}/_.${target}.makeLINT 2>&1 || \ - (echo "${target} 'make LINT' failed," \ - "check _.${target}.makeLINT for details"| ${MAKEFAIL})); \ - fi @cd ${.CURDIR}; ${SUB_MAKE} ${.MAKEFLAGS} TARGET=${target} \ universe_kernels .endif # ${__DO_KERNELS} == "yes" @@ -761,9 +754,6 @@ universe_epilogue: .PHONY .endif .endif -buildLINT: .PHONY - ${MAKE} -C ${.CURDIR}/sys/${_TARGET}/conf LINT - .if defined(.PARSEDIR) # This makefile does not run in meta mode .MAKE.MODE= normal |