From 161f8b0ec26d22d9f850d296479ecfa46613fed6 Mon Sep 17 00:00:00 2001
From: Johannes 'josch' Schauer <josch@mister-muffin.de>
Date: Tue, 7 Jan 2020 18:08:20 +0100
Subject: [PATCH] coverage.sh: bump cover_db.img size to 384MB

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

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