diff options
Diffstat (limited to 'scripts/build/binary_includes')
-rwxr-xr-x | scripts/build/binary_includes | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/scripts/build/binary_includes b/scripts/build/binary_includes index 2b95eef8a..c47ac0f5a 100755 --- a/scripts/build/binary_includes +++ b/scripts/build/binary_includes @@ -27,8 +27,7 @@ Echo_message "Begin copying binary includes..." Require_stagefile config bootstrap # Checking stage file -STAGE_FILE="binary_includes" -Check_stagefile "${STAGE_FILE}" +Check_stagefile # Acquire lock file Acquire_lockfile @@ -49,4 +48,4 @@ then fi # Creating stage file -Create_stagefile "${STAGE_FILE}" +Create_stagefile |