From c36bfe25e7400662907a9c5b6110fb041fd2b87e Mon Sep 17 00:00:00 2001
From: Johannes 'josch' Schauer <josch@mister-muffin.de>
Date: Thu, 9 Jan 2020 12:41:26 +0100
Subject: [PATCH] reduce cover_db.img size, now that we don't run it for
 exec-ed processes anymore

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

diff --git a/coverage.sh b/coverage.sh
index 0db9aa5..d017d8d 100755
--- a/coverage.sh
+++ b/coverage.sh
@@ -37,7 +37,7 @@ HOSTARCH=$(dpkg --print-architecture)
 
 if [ "$HAVE_QEMU" = "yes" ]; then
 	# prepare image for cover_db
-	guestfish -N shared/cover_db.img=disk:384M -- mkfs vfat /dev/sda
+	guestfish -N shared/cover_db.img=disk:64M -- mkfs vfat /dev/sda
 
 	if [ ! -e "./shared/cache/debian-$DEFAULT_DIST.qcow" ]; then
 		echo "./shared/cache/debian-$DEFAULT_DIST.qcow does not exist" >&2