first/lint_params

   1
   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
   6 LINT=/usr/bin/lint#             # Unix lint
   7 LINT=$(UTIL_HOME)/bin/lint#     # ACK lint
   8
   9 LINTOPTIONS=#                   # options always passed to lint
  10
  11 LINTPREF=llib-l#                # prefix of unix lint libraries
  12 LINTPREF=#                      # ACK lint libraries do not have a prefix
  13
  14 LINTSUF=ln#                     # suffix of Unix lint libraries
  15 LINTSUF=llb#                    # suffix of ACK lint libraries
  16
  17 MK_LINT_LIB=lint-lib.unix#      # for Unix lint
  18 MK_LINT_LIB=lint-lib.ack#       # for ACK lint