1991-10-15 16:02:38 +00:00
|
|
|
|
|
|
|
|
# There are two choices for lint here: ACK lint and Unix lint.
|
|
|
|
|
# The current setup is for ACK lint. If you want to use the Unix lint,
|
|
|
|
|
# put '#' signs on the next 4 lines that have ACK in them.
|
|
|
|
|
|
1991-12-18 14:51:08 +00:00
|
|
|
LINT=/usr/bin/lint# # Unix lint
|
|
|
|
|
LINT=$(UTIL_HOME)/bin/lint# # ACK lint
|
1991-10-15 16:02:38 +00:00
|
|
|
|
1991-12-18 14:51:08 +00:00
|
|
|
LINTOPTIONS=# # options always passed to lint
|
1991-10-15 16:02:38 +00:00
|
|
|
|
1991-12-18 14:51:08 +00:00
|
|
|
LINTPREF=llib-l# # prefix of unix lint libraries
|
|
|
|
|
LINTPREF=# # ACK lint libraries do not have a prefix
|
1991-10-15 16:02:38 +00:00
|
|
|
|
1991-12-18 14:51:08 +00:00
|
|
|
LINTSUF=ln# # suffix of Unix lint libraries
|
|
|
|
|
LINTSUF=llb# # suffix of ACK lint libraries
|
|
|
|
|
|
|
|
|
|
MK_LINT_LIB=lint-lib.unix# # for Unix lint
|
|
|
|
|
MK_LINT_LIB=lint-lib.ack# # for ACK lint
|
