tv b8cee5e237 If USETOOLS=yes, as in a cross build or standard tool-based build, create ... lint1.7 using the host lint1 tool. Otherwise run lint1 from here, as has been done historically. Should fix toolchain/15001.		2001-12-19 18:10:40 +00:00
..
lint1	If USETOOLS=yes, as in a cross build or standard tool-based build, create	2001-12-19 18:10:40 +00:00
lint2	MKfoo=no -> NOfoo	2001-12-12 01:48:43 +00:00
llib	don't build lint libs if MKLINT == no	2000-07-27 03:29:28 +00:00
xlint	Punctuation nits.	2001-12-08 19:27:56 +00:00
Makefile	…
Makefile.inc	Major overhaul of src/tools and host toolchain. Summary of changes:	2001-11-12 23:16:17 +00:00