From 8a2897d629037dd8c6af00d1678164ddd75c151b Mon Sep 17 00:00:00 2001
From: Johannes 'josch' Schauer <josch@mister-muffin.de>
Date: Thu, 26 Sep 2019 23:20:58 +0200
Subject: [PATCH] coverage.sh: add test for non-empty lost+found

---
 coverage.sh | 28 +++++++++++++++++++++++++++-
 1 file changed, 27 insertions(+), 1 deletion(-)

diff --git a/coverage.sh b/coverage.sh
index 255ad17..fc70861 100755
--- a/coverage.sh
+++ b/coverage.sh
@@ -48,7 +48,7 @@ if [ ! -e shared/mmdebstrap ] || [ mmdebstrap -nt shared/mmdebstrap ]; then
 fi
 
 starttime=
-total=93
+total=94
 i=1
 
 print_header() {
@@ -330,6 +330,32 @@ else
 	./run_null.sh SUDO
 fi
 
+print_header "mode=$defaultmode,variant=apt: fail installing to non-empty lost+found"
+cat << END > shared/test.sh
+#!/bin/sh
+set -eu
+export LC_ALL=C.UTF-8
+mkdir /tmp/debian-chroot
+mkdir /tmp/debian-chroot/lost+found
+touch /tmp/debian-chroot/lost+found/exists
+ret=0
+$CMD --mode=$defaultmode --variant=apt $DEFAULT_DIST /tmp/debian-chroot $mirror || ret=\$?
+rm /tmp/debian-chroot/lost+found/exists
+rmdir /tmp/debian-chroot/lost+found
+rmdir /tmp/debian-chroot
+if [ "\$ret" = 0 ]; then
+	echo expected failure but got exit \$ret
+	exit 1
+fi
+END
+if [ "$HAVE_QEMU" = "yes" ]; then
+	./run_qemu.sh
+elif [ "$defaultmode" = "root" ]; then
+	./run_null.sh SUDO
+else
+	./run_null.sh
+fi
+
 print_header "mode=root,variant=apt: chroot directory not accessible by _apt user"
 cat << END > shared/test.sh
 #!/bin/sh