diff --git a/coverage.sh b/coverage.sh index 4f25168..f0c97ef 100755 --- a/coverage.sh +++ b/coverage.sh @@ -51,7 +51,7 @@ if [ ! -e shared/mmdebstrap ] || [ mmdebstrap -nt shared/mmdebstrap ]; then fi starttime= -total=87 +total=88 i=1 print_header() {