From b443fd840e03f4ced8ae2aa71e8b7d8142dcb667 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Fri, 10 May 2019 14:06:54 +0200
Subject: bin/prioritize-build-list: make shellcheck happy

---
 bin/prioritize-build-list | 1 +
 1 file changed, 1 insertion(+)

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 ('
-- 
cgit v1.2.3