From eb80efa196a3cc144973671af4bbbc623179bdb0 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Sat, 25 Apr 2020 13:53:22 +0200
Subject: make shellcheck happy

---
 bin/sanity-check | 1 +
 1 file changed, 1 insertion(+)

(limited to 'bin/sanity-check')

diff --git a/bin/sanity-check b/bin/sanity-check
index 5e964fb..f9c36ef 100755
--- a/bin/sanity-check
+++ b/bin/sanity-check
@@ -98,6 +98,7 @@ do
 done
 
 exec 9> "${sanity_check_lock_file}"
+# shellcheck disable=SC2086
 if ! verbose_flock ${block_flag} 9; then
   >&2 echo 'Sanity check skipped, cannot acquire lock.'
   exit
-- 
cgit v1.2.3-54-g00ecf