[hcoop/debian/openafs.git] / src / helper-splint.sh.in

#! /bin/sh

# Invoke "splint" with common options.
#
# This uses a common splint.cfg file.  It will also look for a
# splint.cfg file in the current directory, using that instead, or a
# splint-append.cfg file, using that in addition to the common
# configuration.


TOP_SRCDIR=@TOP_SRCDIR@
HELPER_SPLINTCFG=@HELPER_SPLINTCFG@

cfargs="-f ${HELPER_SPLINTCFG}"
#
if [ -r splint-append.cfg ]; then
    echo "Appending contents of splint-append.cfg to common splint options."
    cfargs="$cfargs -f splint-append.cfg"
elif [ -r splint.cfg ]; then
    echo "Overriding common splint options with splint.cfg"
    cfargs="-f splint.cfg"
else
    echo "No splint-append.cfg or splint.cfg, so using only common options."
fi
#
# Now run splint.
exec splint $cfargs -bad-flag "$@"
Commit	Line	Data
805e021f CE	1	#! /bin/sh
	2
	3	# Invoke "splint" with common options.
	4	#
	5	# This uses a common splint.cfg file. It will also look for a
	6	# splint.cfg file in the current directory, using that instead, or a
	7	# splint-append.cfg file, using that in addition to the common
	8	# configuration.
	9
	10
	11	TOP_SRCDIR=@TOP_SRCDIR@
	12	HELPER_SPLINTCFG=@HELPER_SPLINTCFG@
	13
	14	cfargs="-f ${HELPER_SPLINTCFG}"
	15	#
	16	if [ -r splint-append.cfg ]; then
	17	echo "Appending contents of splint-append.cfg to common splint options."
	18	cfargs="$cfargs -f splint-append.cfg"
	19	elif [ -r splint.cfg ]; then
	20	echo "Overriding common splint options with splint.cfg"
	21	cfargs="-f splint.cfg"
	22	else
	23	echo "No splint-append.cfg or splint.cfg, so using only common options."
	24	fi
	25	#
	26	# Now run splint.
	27	exec splint $cfargs -bad-flag "$@"