diff options
| author | Erich Eckner <git@eckner.net> | 2018-01-30 14:18:31 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-01-30 14:18:31 +0100 |
| commit | d5cca713716f5ea3a8ee843ebd9f128878045465 (patch) | |
| tree | 60c9a6ae2b62e4997912671fbda153c6cb90ff09 | |
| parent | a186d4ffccab0d255e890dcaf563e2652c5b176e (diff) | |
| download | builder-d5cca713716f5ea3a8ee843ebd9f128878045465.tar.xz | |
bin/get-assignment: hand out packages according to mysql
| -rwxr-xr-x | bin/get-assignment | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index 298ea78..0e37e14 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -211,10 +211,9 @@ next_building=$( s/^\S\+ \S\+ // ' ) -# not ready yet! if [ -n "${next_building}" ]; then # shellcheck disable=SC2086 - echo hand_out_assignment ${next_building} >&2 + hand_out_assignment ${next_building} fi # Check if there are any pending packages at all and if the requester |