coverage.sh: remove chroot directories

This commit is contained in:
Johannes Schauer Marin Rodrigues 2021-02-06 14:46:30 +01:00
parent 0009e62b3e
commit 276363c2a1
Signed by untrusted user: josch
GPG key ID: F2CBA5C78FBD83E1

View file

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