From 1c26d16709872f97dfce4615a31e472fa0afb3fb Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Fri, 27 Oct 2017 15:35:58 +0200
Subject: add shared lock for sanity-check

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

(limited to 'bin/sanity-check')

diff --git a/bin/sanity-check b/bin/sanity-check
index a892e88..e51f64b 100755
--- a/bin/sanity-check
+++ b/bin/sanity-check
@@ -66,6 +66,12 @@ do
   shift
 done
 
+exec 9> "${sanity_check_lock_file}"
+if ! flock -n 9; then
+  >&2 echo 'Sanity check skipped, cannot acquire lock.'
+  exit 11
+fi
+
 finish() {
   if ${web}; then
     {
-- 
cgit v1.2.3-70-g09d2