diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-16 10:25:18 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-16 10:25:18 +0200 |
| commit | e84ed03bf4fd591ee1b38bda92521274f62af59e (patch) | |
| tree | b1b5e144d92ae50284a3c5a281a0af95e5583527 /bin/get-assignment | |
| parent | 1dcb91614f41848b3da01113fe3356b548304bc3 (diff) | |
| download | builder-e84ed03bf4fd591ee1b38bda92521274f62af59e.tar.xz | |
mangle TODOs and comments
Diffstat (limited to 'bin/get-assignment')
| -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 8adcdbf..73aeb1d 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -14,7 +14,9 @@ # maximum allowed parallel jobs per ip # TODO: + # respect build-manually-list ("blocked") + # possibly hand out "broken" packages to different build slave . "${0%/*}/../conf/default.conf" |