diff options
| -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 |