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