From 21b4061153b42d3f90833e3108ae8cee1c4c535e Mon Sep 17 00:00:00 2001
From: Johannes Schauer Marin Rodrigues <josch@mister-muffin.de>
Date: Tue, 26 Jul 2022 18:34:24 +0200
Subject: [PATCH] make_mirror.sh: bump DISK_SIZE to 10G because of gcc-defaults
 changing to gcc-12

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

diff --git a/make_mirror.sh b/make_mirror.sh
index dc36d6c..703c8d4 100755
--- a/make_mirror.sh
+++ b/make_mirror.sh
@@ -629,7 +629,7 @@ END
 	# buildd variant will not be 400MB but 1.3GB large and needs a 10G
 	# disk.
 	if [ -z ${DISK_SIZE+x} ]; then
-		DISK_SIZE=3G
+		DISK_SIZE=10G
 	fi
 	guestfish -N "$tmpdir/debian-$DEFAULT_DIST.img"=disk:$DISK_SIZE -- \
 		part-disk /dev/sda mbr : \