coverage.sh: fix total number of tests

pull/1/head
parent 52b1a9dc6e
commit b7f7f4e581
Signed by: josch
GPG Key ID: F2CBA5C78FBD83E1

@ -51,7 +51,7 @@ if [ ! -e shared/mmdebstrap ] || [ mmdebstrap -nt shared/mmdebstrap ]; then
fi
starttime=
total=87
total=88
i=1
print_header() {

Loading…
Cancel
Save