diff --git a/coverage.sh b/coverage.sh index bf97df0..53931ff 100755 --- a/coverage.sh +++ b/coverage.sh @@ -51,7 +51,7 @@ if [ ! -e shared/mmdebstrap ] || [ mmdebstrap -nt shared/mmdebstrap ]; then fi starttime= -total=54 +total=69 i=1 print_header() {