K 10 svn:author V 6 eivind K 8 svn:date V 27 1998-02-04T04:41:37.000000Z K 7 svn:log V 189 Change LINT_PCCARD_HACK to COMPILING_LINT, and put it in its own header file "opt_lint.h". This should prevent the next person needing the same trick from inventing their own option, too. END