coverage.sh: fix total number ant print_header position

This commit is contained in:
Johannes 'josch' Schauer 2020-11-29 11:41:36 +01:00
parent ac48ff6672
commit cf695c4a21
Signed by untrusted user: josch
GPG key ID: F2CBA5C78FBD83E1

View file

@ -120,7 +120,7 @@ if [ ! -e shared/hooks/eatmydata/customize.sh ] || [ hooks/eatmydata/customize.s
fi fi
starttime= starttime=
total=161 total=165
skipped=0 skipped=0
runtests=0 runtests=0
i=1 i=1
@ -162,13 +162,12 @@ mirror="http://127.0.0.1/debian"
for dist in stable testing unstable; do for dist in stable testing unstable; do
for variant in minbase buildd -; do for variant in minbase buildd -; do
print_header "mode=$defaultmode,variant=$variant: check against debootstrap $dist"
if [ $dist != stable ] && [ $variant = - ]; then if [ $dist != stable ] && [ $variant = - ]; then
echo "skipping test because of #963788" >&2 echo "skipping test because of #963788" >&2
skipped=$((skipped+1)) skipped=$((skipped+1))
continue continue
fi fi
print_header "mode=$defaultmode,variant=$variant: check against debootstrap $dist"
cat << END > shared/test.sh cat << END > shared/test.sh
#!/bin/sh #!/bin/sh
set -eu set -eu