1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-26 07:37:35 +00:00

Everywhere: Replace SERENITY_ROOT with SERENITY_SOURCE_DIR

This commit is contained in:
Panagiotis Vasilopoulos 2021-04-20 03:51:04 +03:00 committed by Linus Groh
parent 3f5c934ea6
commit e45e0eeb47
33 changed files with 69 additions and 69 deletions

View file

@ -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