if which splint &> /dev/null
then
    splint +unixlib -I.. -I$TOP_SRCDIR -I$TOP_SRCDIR/modules -I$TOP_SRCDIR/geocode $TOP_SRCDIR/modules/seq/*.[hc] $TOP_SRCDIR/geocode/*.[hc] $TOP_SRCDIR/bin/*.c
else
    echo "skipping splint test, splint not in PATH" > /dev/stderr
    exit 0
fi
