diff options
| author | Erich Eckner <git@eckner.net> | 2017-10-27 12:39:51 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-10-27 12:39:51 +0200 |
| commit | 74a5527a14e6394ed70655c1cbe17c1ef9f4e32a (patch) | |
| tree | 9e20c450bd69475f46849a152434d0f456bb5da4 | |
| parent | 646cd78a14c6f821cdb4c30b83d7c00ee9063cc2 (diff) | |
| download | builder-74a5527a14e6394ed70655c1cbe17c1ef9f4e32a.tar.xz | |
bin/get-assignment: remove todo
| -rwxr-xr-x | bin/get-assignment | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index 5328b0d..b78ca9d 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -11,10 +11,6 @@ # 3: come back after the next run of get-package-updates - currently # there are no pending packages -# TODO: if all loops are locked, broken packages are not handed out as -# long as the script believes there is a looped package before the -# broken one on the build-list - clean up that mess! - # shellcheck source=conf/default.conf . "${0%/*}/../conf/default.conf" |