Move arm back to having one LINT

Now that armv5 is gone, we no longer need multiple LINT files. Kill
the odd-ball support here. From now on, we just have LINT built from
notes like all the other platforms. Keep the removal of LINT-V5/7
to remove stale files for a while still..

1 files changed, 2 insertions, 6 deletions

diff --git a/sys/conf/makeLINT.mk b/sys/conf/makeLINT.mk
index e291bbc612b6..b2fc256621b0 100644
--- a/sys/conf/makeLINT.mk
+++ b/sys/conf/makeLINT.mk
@@ -13,7 +13,8 @@ clean:
 .endif
 .if ${TARGET} == "arm"
 	# LINT-V5 removed 2019-11-26.  The clean rule is left here temporarily
-	# to avoid having stale copies left behind.
+	# to avoid having stale copies left behind. LINT-V7 left the tree on
+	# 2020-02-02.
 	rm -f LINT-V5 LINT-V7
 .endif
 .if ${TARGET} == "powerpc"
@@ -55,11 +56,6 @@ LINT: ${NOTES} ${MAKELINT_SED}
 	echo "nodevice txp"		>> ${.TARGET}-NOIP
 	echo "nodevice netmap"		>> ${.TARGET}-NOIP
 .endif
-.if ${TARGET} == "arm"
-	cat ${NOTES} ${.CURDIR}/NOTES.armv7 | sed -E -n -f ${MAKELINT_SED} > \
-	    ${.TARGET}-V7
-	rm ${.TARGET}
-.endif
 .if ${TARGET} == "mips"
 	echo "machine	${TARGET} ${TARGET_ARCH}" >> ${.TARGET}
 .endif