4 echo "usage: ${0##*/} [-jN]" >&2
8 while getopts "j:" opt ; do
19 if which -s cov01 ; then
20 cov01="$(which cov01)"
23 covlog="${covint}/build-log.txt"
24 srcdir="@abs_top_srcdir@"
25 cd "${srcdir}" || exit 1
30 cov-build --dir "${covint}" gmake "$@"
33 if tail -1 "${covlog}" | grep -q "completed successfully" ; then
34 tar caf "@PACKAGE@-@PACKAGE_VERSION@-cov-int.txz" "${covint}"