diff options
| author | Erich Eckner <erich.eckner.ext@bestsecret.com> | 2024-08-02 12:47:38 +0200 |
|---|---|---|
| committer | Erich Eckner <erich.eckner.ext@bestsecret.com> | 2024-08-02 12:47:38 +0200 |
| commit | 315f7a9d815374c047ad5e1ca32f040df507e035 (patch) | |
| tree | cb1025ff0a806ba28beee196e11475bdc6a0977a | |
| parent | 0955ecccb47fc21c4bb172140aed96496187f88a (diff) | |
| download | archlinuxewe-315f7a9d815374c047ad5e1ca32f040df507e035.tar.xz | |
build-all-with-docker: do lock, we do not want to run multiple docker builds for the same package
| -rwxr-xr-x | build-all-with-docker | 6 |
1 files changed, 6 insertions, 0 deletions
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 |