diff options
author | Erich Eckner <git@eckner.net> | 2019-05-10 14:06:54 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-05-10 14:06:54 +0200 |
commit | b443fd840e03f4ced8ae2aa71e8b7d8142dcb667 (patch) | |
tree | b71d4502ff1030706419db3acaaee484f715f426 /bin | |
parent | 7cc5d3d75699376bf9f0df78f437143f0cb3b65d (diff) | |
download | builder-b443fd840e03f4ced8ae2aa71e8b7d8142dcb667.tar.xz |
bin/prioritize-build-list: make shellcheck happy
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 80d418e..b306286 100755 --- a/bin/prioritize-build-list +++ b/bin/prioritize-build-list @@ -110,6 +110,7 @@ if ${dependencies}; then while [ ${new_updated_rows} -ne 0 ]; do updated_rows=$((updated_rows+new_updated_rows)) new_updated_rows=$( + # shellcheck disable=SC2016 { printf 'UPDATE `build_assignments`' printf ' JOIN (' |