From 7126feff413022e2d1c958fd7d18d66e06868218 Mon Sep 17 00:00:00 2001
From: Johannes 'josch' Schauer <josch@mister-muffin.de>
Date: Sat, 23 Feb 2019 08:43:46 +0100
Subject: [PATCH] coverage.sh: increase cover_db.img size to 200M

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

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