diff options
| author | Erich Eckner <git@eckner.net> | 2018-10-08 09:06:51 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-10-08 09:06:51 +0200 |
| commit | 4813679d86b9628f428976929552523521bc541b (patch) | |
| tree | dc52f15e4a623ec18574fbfe6c9236078abb7dd3 /bin/get-assignment | |
| parent | 7d1b1520e40a502f3dea06202bb0dcb7815e4fa0 (diff) | |
| download | builder-4813679d86b9628f428976929552523521bc541b.tar.xz | |
bin/get-assignment: double check, that next_building is not empty
Diffstat (limited to 'bin/get-assignment')
| -rwxr-xr-x | bin/get-assignment | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index 926cc69..91b7b69 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -186,7 +186,9 @@ if [ -s "${work_dir}/forced-package-builds.${slave}" ]; then } | \ mysql_run_query ) - hand_out_assignment "${next_building}" + if [ -n "${next_building}" ]; then + hand_out_assignment "${next_building}" + fi fi fi |