lint_params 593 B

123456789101112131415161718
  1. # There are two choices for lint here: ACK lint and Unix lint.
  2. # The current setup is for ACK lint. If you want to use the Unix lint,
  3. # put '#' signs on the next 4 lines that have ACK in them.
  4. LINT=/usr/bin/lint # Unix lint
  5. LINT=$(UTIL_HOME)/bin/lint # ACK lint
  6. LINTOPTIONS= # options always passed to lint
  7. LINTPREF=llib-l # prefix of unix lint libraries
  8. LINTPREF= # ACK lint libraries do not have a prefix
  9. LINTSUF=ln # suffix of Unix lint libraries
  10. LINTSUF=llb # suffix of ACK lint libraries
  11. MK_LINT_LIB=lint-lib.unix # for Unix lint
  12. MK_LINT_LIB=lint-lib.ack # for ACK lint