K 10 svn:author V 5 markm K 8 svn:date V 27 2002-09-20T19:32:51.000000Z K 7 svn:log V 273 Extend the lint handling a bit. o Make it possible to prevent parts of the tree from being linted (say) during a 'make world' by setting NOLINT in a leaf Makefile. o Make "make lint" work (better) for executable programs. o Clean up (nuke!) a syntax damaged pipeline. END