diff options
| author | Erich Eckner <git@eckner.net> | 2017-05-04 22:40:29 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-05-04 22:40:29 +0200 |
| commit | eda35a90de7ebe44362fcb0444c7be5139a4567d (patch) | |
| tree | 7308fbf1381f56a0c5afdd2c5f8e60dc35dab251 /bin/get-assignment | |
| parent | 3efa223dbe2a7738b11af7c3e8479ff9ec8a40d5 (diff) | |
| download | builder-eda35a90de7ebe44362fcb0444c7be5139a4567d.tar.xz | |
main parts should work - still a lot of TODOs left :-)
Diffstat (limited to 'bin/get-assignment')
| -rwxr-xr-x | bin/get-assignment | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index 69bfb3f..ab33737 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -14,7 +14,8 @@ # maximum allowed parallel jobs per ip # TODO: -# respect build-manually-list +# respect build-manually-list ("blocked") +# respect broken packages . "${0%/*}/../conf/default.conf" |