Index: sys/conf/makeLINT.mk =================================================================== --- sys/conf/makeLINT.mk +++ sys/conf/makeLINT.mk @@ -12,6 +12,8 @@ rm -f LINT-NOINET LINT-NOINET6 LINT-NOIP .endif .if ${TARGET} == "arm" + # LINT-V5 removed 20YYMMDD. The clean rule is left here temporarily + # to avoid stale copies. rm -f LINT-V5 LINT-V7 .endif .if ${TARGET} == "powerpc" @@ -54,8 +56,6 @@ echo "nodevice netmap" >> ${.TARGET}-NOIP .endif .if ${TARGET} == "arm" - cat ${NOTES} ${.CURDIR}/NOTES.armv5 | sed -E -n -f ${MAKELINT_SED} > \ - ${.TARGET}-V5 cat ${NOTES} ${.CURDIR}/NOTES.armv7 | sed -E -n -f ${MAKELINT_SED} > \ ${.TARGET}-V7 rm ${.TARGET}