diff options
| author | Erich Eckner <git@eckner.net> | 2017-05-17 14:32:49 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-05-17 14:32:49 +0200 |
| commit | a689951e9d6ace2e1d617cdd8ab337a60fe56c74 (patch) | |
| tree | fa0e8259d8554b49c5974f0b51dd62595a922b59 /bin | |
| parent | c6d7631949d194a44879ec87bedc81ce0293049c (diff) | |
| download | builder-a689951e9d6ace2e1d617cdd8ab337a60fe56c74.tar.xz | |
bin/get-assignment: respect broken packages
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/get-assignment | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index dc881e8..db9e2f4 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -15,7 +15,7 @@ # TODO: # respect build-manually-list ("blocked") -# respect broken packages +# possibly hand out "broken" packages to different build slave . "${0%/*}/../conf/default.conf" @@ -23,8 +23,9 @@ mkdir -p "${work_dir}/package-states" hand_out_assignment() { - # locked packages won't be handed out - if [ -f "${work_dir}/package-states/$1.$2.$3.$4.locked" ]; then + # locked and broken packages won't be handed out + if [ -f "${work_dir}/package-states/$1.$2.$3.$4.locked" ] || + [ -f "${work_dir}/package-states/$1.$2.$3.$4.broken" ]; then return 0 fi |