D22560.1794620188.diff
No OneTemporary
Actions

Authored By

Unknown

Size

730 B

Referenced Files

None

Subscribers

None

D22560.1794620188.diff
View Options

	Index: head/sys/conf/makeLINT.mk
	===================================================================
	--- head/sys/conf/makeLINT.mk
	+++ head/sys/conf/makeLINT.mk
	@@ -12,6 +12,8 @@
	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 @@
	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}