diff options
| -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 |