mirror of
https://git.openafs.org/openafs.git
synced 2025-01-31 21:47:45 +00:00
28 lines
771 B
Bash
28 lines
771 B
Bash
|
#! /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 "$@"
|