coverage.sh: bump cover_db.img size to 384MB

This commit is contained in:
Johannes 'josch' Schauer 2020-01-07 18:08:20 +01:00
parent dbdf3f34c6
commit 161f8b0ec2
Signed by untrusted user: josch
GPG key ID: F2CBA5C78FBD83E1

View file

@ -20,7 +20,7 @@ HOSTARCH=$(dpkg --print-architecture)
if [ "$HAVE_QEMU" = "yes" ]; then if [ "$HAVE_QEMU" = "yes" ]; then
# prepare image for cover_db # 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 if [ ! -e "./shared/cache/debian-$DEFAULT_DIST.qcow" ]; then
echo "./shared/cache/debian-$DEFAULT_DIST.qcow does not exist" >&2 echo "./shared/cache/debian-$DEFAULT_DIST.qcow does not exist" >&2