K 10
svn:author
V 5
markm
K 8
svn:date
V 27
2003-04-30T11:17:33.000000Z
K 7
svn:log
V 171
Fix "make world" for the WANT_LINT case. The various build tools
must not try to lint(1) stuff at *-tools time; keep the linting
for the actual build (which comes later).

END