From 315f7a9d815374c047ad5e1ca32f040df507e035 Mon Sep 17 00:00:00 2001
From: Erich Eckner <erich.eckner.ext@bestsecret.com>
Date: Fri, 2 Aug 2024 12:47:38 +0200
Subject: build-all-with-docker: do lock, we do not want to run multiple docker
 builds for the same package

---
 build-all-with-docker | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/build-all-with-docker b/build-all-with-docker
index fbc75020c..1aa62d026 100755
--- a/build-all-with-docker
+++ b/build-all-with-docker
@@ -2,6 +2,12 @@
 
 cd "$(dirname "$(readlink -e "$0")")"
 
+exec 9> build-all-with-docker.lock
+if ! flock -n 9; then
+  >&2 echo 'another build-all-with-docker still holds the lock'
+  exit 1
+fi
+
 if [ "x$1" = 'x--pull' ]; then
   shift
   if ! git pull --ff-only; then
-- 
cgit v1.2.3-70-g09d2