reduce cover_db.img size, now that we don't run it for exec-ed processes anymore

4 years ago · c36bfe25e7
parent f867384c20
commit c36bfe25e7
1 changed files with 1 additions and 1 deletions
--- 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