diff options
author | Erich Eckner <erich.eckner.ext@bestsecret.com> | 2024-07-22 18:50:34 +0200 |
---|---|---|
committer | Erich Eckner <erich.eckner.ext@bestsecret.com> | 2024-07-22 18:50:34 +0200 |
commit | 8389d212e6e345369b4b4970dbc1876f87fde6cb (patch) | |
tree | 6b5d3ee56ae5501bd9805d940b39318945afeda6 /build-all-with-docker | |
parent | 4f2ac4935f05e62dd66d5d6aa3cd5880a677b88a (diff) | |
download | archlinuxewe-8389d212e6e345369b4b4970dbc1876f87fde6cb.tar.xz |
build-all-with-docker: do not lock
Diffstat (limited to 'build-all-with-docker')
-rwxr-xr-x | build-all-with-docker | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/build-all-with-docker b/build-all-with-docker index f3a9dee7c..01206c04e 100755 --- a/build-all-with-docker +++ b/build-all-with-docker @@ -2,12 +2,6 @@ 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 @@ -52,7 +46,7 @@ check_and_commit_package_updates() { ) ); do if ! [ -d "$pkg" ]; then - >&2 echo "$pwd is not a directory" + >&2 echo "$pkg is not a directory" continue fi cd "$pkg" |