mirror of
https://salsa.debian.org/ha-team/libqb
synced 2025-08-26 05:57:31 +00:00
32 lines
721 B
Bash
Executable File
32 lines
721 B
Bash
Executable File
#!/bin/sh
|
|
#
|
|
# Helper script for running coverity
|
|
#
|
|
# Run in top level of checkout, then see ./cov/output/errors
|
|
#
|
|
# If coverity gives errors about an unsupported platform,
|
|
# do "export COVERITY_UNSUPPORTED=1" before running.
|
|
|
|
COVDIR="$(pwd)/cov"
|
|
COVARGS="--concurrency
|
|
--all
|
|
--aggressiveness-level high
|
|
--security
|
|
--wait-for-license"
|
|
|
|
die() {
|
|
echo "$@" >&2
|
|
exit 1
|
|
}
|
|
|
|
which cov-build >/dev/null 2>&1
|
|
[ $? -eq 0 ] || die "Coverity appears not to be installed on this machine."
|
|
[ -x .git ] || die "This script must be run from the top-level git checkout."
|
|
|
|
set -e
|
|
|
|
make clean
|
|
cov-build --dir "$COVDIR" make
|
|
cov-analyze --dir "$COVDIR" $COVARGS
|
|
cov-format-errors --dir "$COVDIR" --html-output "$COVDIR/output/errors"
|