diff options
| author | Erich Eckner <git@eckner.net> | 2019-06-15 19:35:04 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-06-15 19:35:04 +0200 |
| commit | d1100aebc3513a6e3044944afcca7b4e567378c2 (patch) | |
| tree | 1954cbf770599e1f7b4942877a0c3d1fbc89de8e /bin | |
| parent | c6c725b287e2edddc78047f6ef66d6adbdd9cedc (diff) | |
| download | builder-d1100aebc3513a6e3044944afcca7b4e567378c2.tar.xz | |
bin/prioritize-build-list -d should not increase priority of failed builds
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/prioritize-build-list | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/prioritize-build-list b/bin/prioritize-build-list index b306286..8dd3f23 100755 --- a/bin/prioritize-build-list +++ b/bin/prioritize-build-list @@ -143,6 +143,7 @@ if ${dependencies}; then printf ' ON `sub_q`.`build_assignment`=`build_assignments`.`id`' printf ' SET `build_assignments`.`priority`=`sub_q`.`priority`' printf ' WHERE `build_assignments`.`priority`<`sub_q`.`priority`' + printf ' AND NOT `build_assignments`.`is_broken`' printf ';\n' printf 'SELECT row_count();\n' } | \ |