diff options
| author | Erich Eckner <git@eckner.net> | 2019-12-06 09:51:25 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-12-06 09:51:25 +0100 |
| commit | 6cdbec053abab30914b7d5cf03be1036dc799d12 (patch) | |
| tree | a5506ad463ade5741b340b5d04a671a12d805042 /bin/get-assignment | |
| parent | ae2f05e4853bc4781635b156a0ade9411187f7d4 (diff) | |
| download | builder-6cdbec053abab30914b7d5cf03be1036dc799d12.tar.xz | |
lib/mysql-functions: 1 day after the first build failure, still unbuilt dependencies get ignored - we need to move on
Diffstat (limited to 'bin/get-assignment')
| -rwxr-xr-x | bin/get-assignment | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index 6eaa5d9..f2930c4 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -200,7 +200,7 @@ while [ -s "${work_dir}/forced-package-builds.${slave}" ]; do fi done -# a package with [all dependencies met or which is part of a loop] +# a package with [all dependencies met (or unsuccessfully built) or which is part of a loop] # and which is currently not being built, ordered by: # 1: we requested it # 2: tool chain priority |