diff options
| author | Panagiotis Vasilopoulos <hello@alwayslivid.com> | 2021-04-20 03:51:04 +0300 |
|---|---|---|
| committer | Linus Groh <mail@linusgroh.de> | 2021-04-20 15:27:52 +0200 |
| commit | e45e0eeb477629bd877e1837724e121f0c11b9ca (patch) | |
| tree | 7ea93a0d751e72fce33291cc0c96204bc14b4064 /Meta/build-image-grub.sh | |
| parent | 3f5c934ea61999d2a946daac1fd8c672da33d87a (diff) | |
| download | serenity-e45e0eeb477629bd877e1837724e121f0c11b9ca.zip | |
Everywhere: Replace SERENITY_ROOT with SERENITY_SOURCE_DIR
Diffstat (limited to 'Meta/build-image-grub.sh')
| -rwxr-xr-x | Meta/build-image-grub.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Meta/build-image-grub.sh b/Meta/build-image-grub.sh index 7c72d1740e..d4a55cc37e 100755 --- a/Meta/build-image-grub.sh +++ b/Meta/build-image-grub.sh @@ -27,7 +27,7 @@ disk_usage() { du -sm "$1" | cut -f1 } -DISK_SIZE=$(($(disk_usage "$SERENITY_ROOT/Base") + $(disk_usage Root) + 300)) +DISK_SIZE=$(($(disk_usage "$SERENITY_SOURCE_DIR/Base") + $(disk_usage Root) + 300)) echo "setting up disk image..." if [ "$1" = "ebr" ]; then @@ -98,7 +98,7 @@ script_path=$(cd -P -- "$(dirname -- "$0")" && pwd -P) "$script_path/build-root-filesystem.sh" if [ -z "$2" ]; then - grub_cfg="$SERENITY_ROOT"/Meta/grub-"${partition_scheme}".cfg + grub_cfg="$SERENITY_SOURCE_DIR"/Meta/grub-"${partition_scheme}".cfg else grub_cfg=$2 fi |