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/strict-bashism-check | |
| parent | 7d1b1520e40a502f3dea06202bb0dcb7815e4fa0 (diff) | |
| download | builder-4813679d86b9628f428976929552523521bc541b.tar.xz | |
bin/get-assignment: double check, that next_building is not empty
Diffstat (limited to 'bin/strict-bashism-check')
0 files changed, 0 insertions, 0 deletions