coverage.sh: increase cover_db.img size to 256M

This commit is contained in:
Johannes 'josch' Schauer 2019-11-29 07:47:06 +01:00
parent f5afbfaab0
commit f548c57ef8
Signed by untrusted user: josch
GPG key ID: F2CBA5C78FBD83E1

View file

@ -18,7 +18,7 @@ rm -f shared/cover_db.img
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: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 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