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

This commit is contained in:
Johannes 'josch' Schauer 2019-02-23 08:43:46 +01:00
parent 1b8ad8400b
commit 7126feff41
Signed by untrusted user: josch
GPG key ID: F2CBA5C78FBD83E1

View file

@ -13,7 +13,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: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 if [ ! -e "./shared/cache/debian-unstable.qcow" ]; then
echo "./shared/cache/debian-unstable.qcow does not exist" >&2 echo "./shared/cache/debian-unstable.qcow does not exist" >&2