@for i in coverage/#*.gcda; do mv $$i coverage/$${i##*#}; done
@gcov -o coverage oceani.mdc > /dev/null 2> /dev/null
@mv *.gcov coverage ; [ -f .gcov ] && mv .gcov coverage || true
- @ awk '/NOTEST/ { next } /^ *[1-9]/ {ran+=1} /^ *###/ {skip+=1} \
+ @[ -n "$$SKIP_COVERAGE_CHECK" ] || awk '/NOTEST/ { next } /^ *[1-9]/ {ran+=1} /^ *###/ {skip+=1} \
END {printf "coverage: %6.2f%%\n", ran * 100 / (ran + skip); \
- if (ran < (ran + skip) *0.958) exit(1) }' \
+ if (ran < (ran + skip) *0.96) exit(1) }' \
coverage/oceani.mdc.gcov
@rm -f .tmp*
for i:=0; then i=i+1; while i < 5:
switch i:
case 0: num:="zero"
- case 1: num:="one"
+ case 1: scratch:=42; num:="one"
case 2: num:="two"
case 3: num:="three"
else num:="many"