diff --git a/coverage.sh b/coverage.sh index 17ecd45..627f746 100755 --- a/coverage.sh +++ b/coverage.sh @@ -568,6 +568,7 @@ if [ "\$ret" = 0 ]; then echo expected failure but got exit \$ret >&2 exit 1 fi +rm -r /tmp/debian-chroot END if [ "$CONTAINER" = "lxc" ]; then # see https://stackoverflow.com/questions/65748254/ @@ -599,6 +600,7 @@ if [ "\$ret" = 0 ]; then echo expected failure but got exit \$ret >&2 exit 1 fi +rm -r /tmp/debian-chroot END if [ "$HAVE_QEMU" = "yes" ]; then ./run_qemu.sh