diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-20 09:01:35 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-20 09:01:35 +0200 |
| commit | 05e3561b3df4078a33865913d8135dbfe4ad5809 (patch) | |
| tree | 9afde5a0c4d87187cc6e193c3666eb77a6a9a4cd /bin/common-functions | |
| parent | 797adfe1c1f26c57d31bc7b1b67e54d36257806f (diff) | |
| download | builder-05e3561b3df4078a33865913d8135dbfe4ad5809.tar.xz | |
hand out broken packages multiple times
Diffstat (limited to 'bin/common-functions')
| -rwxr-xr-x | bin/common-functions | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/bin/common-functions b/bin/common-functions index cc59e94..7f82042 100755 --- a/bin/common-functions +++ b/bin/common-functions @@ -142,12 +142,11 @@ find_git_repository_to_package_repository() { } -# package_locked_broken_or_blocked package git_revision mod_git_revision repository -# return if package - of given repository and revisions - is [locked or broken or blocked] +# 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_broken_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.broken" ] || \ [ -f "${work_dir}/package-states/$1.$2.$3.$4.blocked" ] } |