K 10 svn:author V 5 markm K 8 svn:date V 27 2003-06-15T13:03:37.000000Z K 7 svn:log V 110 If lint(1) is not "lint", don't try to lint the xlint compat-libs. A third-party lint is probably being used. END