diff options
author | Liav A <liavalb@gmail.com> | 2020-12-26 14:16:45 +0200 |
---|---|---|
committer | Andreas Kling <kling@serenityos.org> | 2020-12-27 23:07:44 +0100 |
commit | bc18712adf8b683d3f8a319df3fd1ea5cf03b517 (patch) | |
tree | 9d6a5be8d4b3d9a772b2a6e212ae014c7d4ecb7f /Meta/build-image-grub.sh | |
parent | 0f208669af06bbbeeb66715074455227c6e8ecd4 (diff) | |
download | serenity-bc18712adf8b683d3f8a319df3fd1ea5cf03b517.zip |
Build: Fix build of grub image when choosing EBR scheme
Diffstat (limited to 'Meta/build-image-grub.sh')
-rwxr-xr-x | Meta/build-image-grub.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Meta/build-image-grub.sh b/Meta/build-image-grub.sh index f54bb1ebba..7c82ce2aa5 100755 --- a/Meta/build-image-grub.sh +++ b/Meta/build-image-grub.sh @@ -30,6 +30,9 @@ disk_usage() { DISK_SIZE=$(($(disk_usage "$SERENITY_ROOT/Base") + $(disk_usage Root) + 300)) echo "setting up disk image..." +if [ "$1" = "ebr" ]; then + DISK_SIZE= +fi dd if=/dev/zero of=grub_disk_image bs=1M count="${DISK_SIZE:-800}" status=none || die "couldn't create disk image" chown "$SUDO_UID":"$SUDO_GID" grub_disk_image || die "couldn't adjust permissions on disk image" echo "done" |