diff options
Diffstat (limited to 'scripts/build/binary_grub-efi')
| -rwxr-xr-x | scripts/build/binary_grub-efi | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/scripts/build/binary_grub-efi b/scripts/build/binary_grub-efi index e7e70cb3a..8f1f7c12a 100755 --- a/scripts/build/binary_grub-efi +++ b/scripts/build/binary_grub-efi @@ -29,8 +29,7 @@ Echo_message "Begin preparing Grub based EFI support..." Require_stagefile config bootstrap # Checking stage file -STAGE_FILE="binary_grub-efi" -Check_stagefile "${STAGE_FILE}" +Check_stagefile # Acquire lock file Acquire_lockfile @@ -303,4 +302,4 @@ rm -rf chroot/grub-efi-temp # We rely on: binary_loopback_cfg to generate grub.cfg and other configuration files # Creating stage file -Create_stagefile "${STAGE_FILE}" +Create_stagefile |