diff options
| author | Erich Eckner <git@eckner.net> | 2019-10-06 19:21:01 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-10-06 19:21:01 +0200 |
| commit | e49623bc587b048ad437eb534d79cd3206c1766d (patch) | |
| tree | a27d28366b7147c684ddb7d20d55ebd835dfe327 /bin | |
| parent | 49afef68b9bc1a9bf4cf61a8a5cc8040fd091ab6 (diff) | |
| download | builder-e49623bc587b048ad437eb534d79cd3206c1766d.tar.xz | |
bin/get-assignment: ignore duplicate orders
Diffstat (limited to 'bin')
| -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 e82b87b..b7cdb8a 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -397,7 +397,7 @@ next_building=$( printf '`exists_unblocked` DESC' printf ';\n' - printf 'INSERT INTO `orders`(`order`)' + printf 'INSERT IGNORE INTO `orders`(`order`)' printf ' SELECT' printf ' MIN(`ordered_considered_build_assignments`.`order`)' printf ' FROM `ordered_considered_build_assignments`' |