diff options
author | Erich Eckner <git@eckner.net> | 2019-10-12 09:21:25 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-10-12 09:21:25 +0200 |
commit | b0b574c3d1f135afa3c5d440be738b148b541333 (patch) | |
tree | e8431a19856b54afd491829609aec0a689c3cb6d | |
parent | 13d349ca280acaf63289f30889964b51029570fc (diff) | |
download | builder-b0b574c3d1f135afa3c5d440be738b148b541333.tar.xz |
bin/get-assignment: add TODO
-rwxr-xr-x | bin/get-assignment | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index b7cdb8a..48742da 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -198,6 +198,9 @@ while [ -s "${work_dir}/forced-package-builds.${slave}" ]; do fi done +# TODO: any packages should be built on pentium4 - they fail too often +# on i486 due to unavailable dependencies. + # a package with [all dependencies met or which is part of a loop] # and which is currently not being built, ordered by: # 1: we requested it |