From 80f8978ecc95656503d316a37c842c8639ac57ac Mon Sep 17 00:00:00 2001 From: Johannes Schauer Marin Rodrigues Date: Sat, 18 Feb 2023 23:17:12 +0100 Subject: [PATCH] coverage.sh: do not fail if files to be cleaned do not exist --- coverage.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/coverage.sh b/coverage.sh index cf650c1..30abd4d 100755 --- a/coverage.sh +++ b/coverage.sh @@ -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