cryb-to/tools/coverage.sh.in
Dag-Erling Smørgrav 1826bb12bf Modify the coverage build script so that it only runs "make clean" if
coverage was not already enabled when the script was started.
2015-10-03 14:30:24 +00:00

40 lines
530 B
Bash
Executable file

#!/bin/sh
usage() {
echo "usage: ${0##*/} [-jN]" >&2
exit 1
}
while getopts "j:" opt ; do
case $opt in
j)
j="-j$OPTARG"
;;
*)
usage
;;
esac
done
if cov01 -sq >/dev/null ; then
cov=true
else
cov=false
fi
srcdir="@abs_top_srcdir@"
htmldir="${srcdir}/cov"
export COVFILE="${srcdir}/test.cov"
if ! $cov ; then
# Rebuild with coverage enabled
gmake -C "${srcdir}" clean
cov01 -1
fi
covclear
gmake -C "${srcdir}" $j check
covhtml "${htmldir}"
if ! $cov ; then
# Clean up
cov01 -0
gmake -C "${srcdir}" clean
fi