Module Name:	basesrc
Committed By:	thorpej
Date:		Wed Oct 24 02:32:57 UTC 2001

Modified Files:
	basesrc/tools/lint: Makefile
	basesrc/tools/lint1: Makefile
	basesrc/tools/lint2: Makefile

Log Message:
Add $MACHINE_GNU_PLATFORM- prefixes to lint(1)'s front and back
ends, thereby properly making this a cross-tool.  This addresses
bin/14280.


To generate a diff of this commit:
cvs rdiff -r1.1 -r1.2 basesrc/tools/lint/Makefile
cvs rdiff -r1.1 -r1.2 basesrc/tools/lint1/Makefile
cvs rdiff -r1.1 -r1.2 basesrc/tools/lint2/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.