diff options
| author | Erich Eckner <git@eckner.net> | 2018-09-13 09:11:58 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-09-13 09:11:58 +0200 |
| commit | e6f5ba6b2baafe8786519452dcfeb87624bec016 (patch) | |
| tree | b06c0c51850829965756eca2bf572b849aa034c8 /bin/build-packages | |
| parent | b86d5109e0ae3c3d1a75edc93b7e791bedc55e3a (diff) | |
| download | builder-e6f5ba6b2baafe8786519452dcfeb87624bec016.tar.xz | |
bin/get-assignment: check arguments; cleanup
Diffstat (limited to 'bin/build-packages')
| -rwxr-xr-x | bin/build-packages | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/bin/build-packages b/bin/build-packages index 6e0554b..01c7b32 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -813,6 +813,14 @@ while [ "${count}" -ne 0 ] && \ ;; + 4) + + >&2 echo 'get-assignment told me:' + >&2 echo ' 4: wrong number of arguments' + exit 5 + + ;; + *) >&2 echo "ERROR: Unknown exit code ${err} from 'get-assignment'." |