34 lines
575 B
Bash
34 lines
575 B
Bash
|
#!/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 ! which -s cov01 covhtml ; then
|
||
|
echo "coverage tools not found" >&2
|
||
|
exit 1
|
||
|
fi
|
||
|
srcdir="@abs_top_srcdir@"
|
||
|
htmldir="${srcdir}/covhtml"
|
||
|
export COVFILE="${srcdir}/test.cov"
|
||
|
gmake -C "${srcdir}" clean
|
||
|
find "${srcdir}" -type f -name "${COVFILE##*/}" -delete
|
||
|
rm -rf "${htmldir}"
|
||
|
cov01 -1
|
||
|
gmake -C "${srcdir}" $j check || exit 1
|
||
|
covhtml -d "${srcdir}" -f "${COVFILE}" "${htmldir}"
|
||
|
cov01 -0
|
||
|
gmake -C "${srcdir}" clean
|