christos e79f03e595 Fix problems with LINTED comment: ... if (a) b; /*LINTED*/ c; if (a) { b; } /*LINTED*/ c; do { b; } /*LINTED*/ while (c); Produced warnings for c.		1998-11-13 16:48:01 +00:00
..
lint1	Fix problems with LINTED comment:	1998-11-13 16:48:01 +00:00
lint2	If the return value is sometimes discarded, output `sometimes ignored' rather	1998-07-28 05:12:00 +00:00
llib	Replace the clean target with a CLEANFILES+= line	1997-05-15 10:08:47 +00:00
xlint	Eliminate memory leaks.	1998-10-08 08:20:37 +00:00
Makefile	…
Makefile.inc	WARNSify	1998-02-22 15:40:39 +00:00