diff options
| author | Erich Eckner <git@eckner.net> | 2018-02-03 12:24:12 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-02-03 12:24:12 +0100 |
| commit | 2cece122e1fa57ed5cce7f29108798ee1004d261 (patch) | |
| tree | ea694212c062930fff1202bc644164646f255dc6 /bin | |
| parent | a8a0e3292863b7eb74b196e31db3cdae944c593a (diff) | |
| download | builder-2cece122e1fa57ed5cce7f29108798ee1004d261.tar.xz | |
bin/get-assignment: add TODO
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/get-assignment | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index 7e8d25f..85585c0 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -123,6 +123,8 @@ clean_up() { tmp_dir=$(mktemp -d 'tmp.get-assignment.XXXXXXXXXX' --tmpdir) trap clean_up EXIT +# TODO: only hand out package if it is still yet to be built + # if we're building something already, hand it out (again) currently_building=$( # shellcheck disable=SC2016 |