coverage.sh: adjust total number of tests

pull/1/head
parent 732eb2a1d2
commit 67343d0309
Signed by: josch
GPG Key ID: F2CBA5C78FBD83E1

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

Loading…
Cancel
Save