coverage.sh: clean up some additional files

debextract
parent d9633d05fe
commit 4e658549f0
Signed by untrusted user: josch
GPG Key ID: F2CBA5C78FBD83E1

@ -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

Loading…
Cancel
Save