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
llib
xlint
Makefile
Makefile.inc