coverage.sh: do not fail if files to be cleaned do not exist

pull/34/head
parent 2837f5b5d3
commit 80f8978ecc
Signed by: josch
GPG Key ID: F2CBA5C78FBD83E1

@ -92,4 +92,4 @@ END
echo
fi
rm shared/test.sh shared/tar1.txt shared/tar2.txt shared/pkglist.txt shared/doc-debian.tar.list shared/mmdebstrap shared/tarfilter shared/proxysolver
rm -f shared/test.sh shared/tar1.txt shared/tar2.txt shared/pkglist.txt shared/doc-debian.tar.list shared/mmdebstrap shared/tarfilter shared/proxysolver

Loading…
Cancel
Save