diff options
Diffstat (limited to 'scripts/build/binary_grub-pc')
| -rwxr-xr-x | scripts/build/binary_grub-pc | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/scripts/build/binary_grub-pc b/scripts/build/binary_grub-pc index 6ef4cbc23..d490f9255 100755 --- a/scripts/build/binary_grub-pc +++ b/scripts/build/binary_grub-pc @@ -29,8 +29,7 @@ Echo_message "Begin installing grub-pc..." Require_stagefile config bootstrap # Checking stage file -STAGE_FILE="binary_grub" -Check_stagefile "${STAGE_FILE}" +Check_stagefile # Acquire lock file Acquire_lockfile @@ -87,4 +86,4 @@ Save_package_cache binary Remove_package # Creating stage file -Create_stagefile "${STAGE_FILE}" +Create_stagefile |