From 5fd1ca62d98a9de8ea6a446f934d821027febdaa Mon Sep 17 00:00:00 2001
From: Johannes Schauer Marin Rodrigues <josch@mister-muffin.de>
Date: Fri, 19 Feb 2021 14:40:20 +0100
Subject: [PATCH] coverage.sh: don't attempt deleting non-existant directory

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

diff --git a/coverage.sh b/coverage.sh
index ac127cb..d0ca786 100755
--- a/coverage.sh
+++ b/coverage.sh
@@ -603,7 +603,7 @@ if [ "\$ret" = 0 ]; then
 	echo expected failure but got exit \$ret >&2
 	exit 1
 fi
-rm -r /tmp/debian-chroot
+[ ! -e /tmp/debian-chroot ]
 END
 if [ "$CONTAINER" = "lxc" ]; then
 	# see https://stackoverflow.com/questions/65748254/