diff options
Diffstat (limited to 'scripts/build/source_debian')
| -rwxr-xr-x | scripts/build/source_debian | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/scripts/build/source_debian b/scripts/build/source_debian index be3894c16..0a7cfe156 100755 --- a/scripts/build/source_debian +++ b/scripts/build/source_debian @@ -32,8 +32,7 @@ Echo_message "Begin downloading sources..." Require_stagefile config bootstrap # Checking stage file -STAGE_FILE="source_debian" -Check_stagefile "${STAGE_FILE}" +Check_stagefile # Acquire lock file Acquire_lockfile @@ -212,5 +211,5 @@ then fi # Creating stage file -Create_stagefile "${STAGE_FILE}" -Create_stagefile source +Create_stagefile +Create_stagefile "source" |