lint_params 616 B

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