#!/usr/bin/make

# 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.

LINT=/usr/bin/lint#		# Unix lint
LINT=$(UTIL_HOME)/bin/lint#	# ACK lint

LINTOPTIONS=#			# options always passed to lint

LINTPREF=llib-l#		# prefix of unix lint libraries
LINTPREF=#			# ACK lint libraries do not have a prefix

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