make_mirror.sh: bump DISK_SIZE to 10G because of gcc-defaults changing to gcc-12

2 years ago · bf379f7e50
parent d91a18a350
commit bf379f7e50
1 changed files with 1 additions and 1 deletions
--- 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 : \