* )
rm coverage/*.mdc.gcov
- make SKIP_VALGRIND=1 oceani_test_suite || exit 1
+ make SKIP_VALGRIND=1 SKIP_COVERAGE_CHECK=1 oceani_test_suite || exit 1
for i in coverage/*.mdc.gcov
do
b=${i%.gcov}
if [ ! -f "$b" ]; then
continue
fi
- grep '#####:' "$i" | grep -vE '(NOTEST|UNTESTED|: *##|}\$$|:$|:[ ]*(\||\$))' |
+ grep '#####:' "$i" | grep -vE '(NOTEST|UNTESTED|: *##|[0-9]:[ ]*}\$$|:$)' |
awk -F: '{printf "%ds,$, // UNTESTED,\n", $2}' |
sed -i -e 's,[ ]*// UNTESTED$,,' -f - "$b"
grep '[0-8]: *[1-9][0-9]*:.*// NOTEST$' "$i" |