@ -2327,4 +2327,4 @@ if [ -e shared/cover_db/runs ]; then
echo
fi
rm shared/tar1.txt shared/tar2.txt shared/pkglist.txt shared/doc-debian.tar.list
rm shared/test.sh shared/tar1.txt shared/tar2.txt shared/pkglist.txt shared/doc-debian.tar.list