index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
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) |
-rwxr-xr-x | bin/get-assignment | 2 |
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 |