From f548c57ef85662d36858f76277cbaefc76fcd165 Mon Sep 17 00:00:00 2001
From: Johannes 'josch' Schauer <josch@mister-muffin.de>
Date: Fri, 29 Nov 2019 07:47:06 +0100
Subject: [PATCH] coverage.sh: increase cover_db.img size to 256M

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

diff --git a/coverage.sh b/coverage.sh
index ed5e841..fde7756 100755
--- a/coverage.sh
+++ b/coverage.sh
@@ -18,7 +18,7 @@ rm -f shared/cover_db.img
 
 if [ "$HAVE_QEMU" = "yes" ]; then
 	# prepare image for cover_db
-	guestfish -N shared/cover_db.img=disk:200M -- mkfs vfat /dev/sda
+	guestfish -N shared/cover_db.img=disk:256M -- mkfs vfat /dev/sda
 
 	if [ ! -e "./shared/cache/debian-$DEFAULT_DIST.qcow" ]; then
 		echo "./shared/cache/debian-$DEFAULT_DIST.qcow does not exist" >&2