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