1 files changed, 2 insertions, 2 deletions

diff --git a/sys/conf/makeLINT.mk b/sys/conf/makeLINT.mk
index 25e266ac85d75..e291bbc612b6b 100644
--- a/sys/conf/makeLINT.mk
+++ b/sys/conf/makeLINT.mk
@@ -12,6 +12,8 @@ clean:
 	rm -f LINT-NOINET LINT-NOINET6 LINT-NOIP
 .endif
 .if ${TARGET} == "arm"
+	# LINT-V5 removed 2019-11-26.  The clean rule is left here temporarily
+	# to avoid having stale copies left behind.
 	rm -f LINT-V5 LINT-V7
 .endif
 .if ${TARGET} == "powerpc"
@@ -54,8 +56,6 @@ LINT: ${NOTES} ${MAKELINT_SED}
 	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}