From 276363c2a19e0054a8526d027ecec276b1992194 Mon Sep 17 00:00:00 2001
From: Johannes Schauer Marin Rodrigues <josch@mister-muffin.de>
Date: Sat, 6 Feb 2021 14:46:30 +0100
Subject: [PATCH] coverage.sh: remove chroot directories

---
 coverage.sh | 2 ++
 1 file changed, 2 insertions(+)

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