diff options
| author | Erich Eckner <git@eckner.net> | 2017-11-23 10:07:44 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-11-23 10:07:44 +0100 |
| commit | d55aef4d57e264c28f1d42da9fb3bbb3718e8fef (patch) | |
| tree | baf41dcfecbb244da8b7ad3f67fb23ab483390ec /bin | |
| parent | 4d464124cb231a27f8419e05eb490f2fa1529db2 (diff) | |
| download | builder-d55aef4d57e264c28f1d42da9fb3bbb3718e8fef.tar.xz | |
bin/common-functions: remove obsolete package_locked_or_blocked()
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/common-functions | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/bin/common-functions b/bin/common-functions index 7ce9707..6fc1773 100755 --- a/bin/common-functions +++ b/bin/common-functions @@ -108,14 +108,6 @@ find_git_repository_to_package_repository() { } -# package_locked_or_blocked package git_revision mod_git_revision repository -# return if package - of given repository and revisions - is [locked or blocked] - -package_locked_or_blocked() { - [ -f "${work_dir}/package-states/$1.$2.$3.$4.locked" ] || \ - [ -f "${work_dir}/package-states/$1.$2.$3.$4.blocked" ] -} - # generate_package_metadata $package $git_revision $mod_git_revision $repository # or # generate_package_metadata $package.$git_revision.$mod_git_revision.$repository |