summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbuild-all-with-docker8
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"