From 4e658549f07364c877c23bce8e54ddffd96bd6d5 Mon Sep 17 00:00:00 2001 From: Johannes Schauer Marin Rodrigues Date: Thu, 4 Feb 2021 17:39:50 +0100 Subject: [PATCH] coverage.sh: clean up some additional files --- coverage.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/coverage.sh b/coverage.sh index 8028494..e90f0da 100755 --- a/coverage.sh +++ b/coverage.sh @@ -2854,7 +2854,7 @@ $CMD \$include --mode=$defaultmode --variant=$variant --skip=download/empty \ --setup-hook='chmod 0755 "\$1"/var/cache/apt/archives/' \ $DEFAULT_DIST - $mirror > test2.tar cmp orig.tar test2.tar -rm "\$tmpdir"/*.deb +rm "\$tmpdir"/*.deb orig.tar test1.tar test2.tar rmdir "\$tmpdir" END if [ "$HAVE_QEMU" = "yes" ]; then @@ -3637,4 +3637,4 @@ if [ "$((skipped+runtests))" -ne "$total" ]; then exit 1 fi -rm shared/test.sh shared/tar1.txt shared/tar2.txt shared/pkglist.txt shared/doc-debian.tar.list shared/mmdebstrap shared/taridshift +rm shared/test.sh shared/tar1.txt shared/tar2.txt shared/pkglist.txt shared/doc-debian.tar.list shared/mmdebstrap shared/taridshift shared/tarfilter shared/proxysolver