4 echo "usage: ${0##*/} [-jN]" >&2
8 while getopts "j:" opt ; do
19 if ! which -s cov01 covhtml ; then
20 echo "coverage tools not found" >&2
23 srcdir="@abs_top_srcdir@"
24 htmldir="${srcdir}/covhtml"
25 export COVFILE="${srcdir}/test.cov"
26 gmake -C "${srcdir}" clean
27 find "${srcdir}" -type f -name "${COVFILE##*/}" -delete
30 gmake -C "${srcdir}" $j check || exit 1
31 covhtml -d "${srcdir}" -f "${COVFILE}" "${htmldir}"
33 gmake -C "${srcdir}" clean