diff options
Diffstat (limited to 'scripts/build/source_debian')
| -rwxr-xr-x | scripts/build/source_debian | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/scripts/build/source_debian b/scripts/build/source_debian index efd65036d..0ac71137b 100755 --- a/scripts/build/source_debian +++ b/scripts/build/source_debian @@ -34,11 +34,8 @@ Require_stagefile .build/config .build/bootstrap # Checking stage file Check_stagefile .build/source_debian -# Checking lock file -Check_lockfile .lock - -# Creating lock file -Create_lockfile .lock +# Aquire lock file +Acquire_lockfile # Remove old sources if [ -d source/debian ] |