aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMichele Locati <michele@locati.it>2018-03-19 16:16:41 +0100
committerMichele Locati <michele@locati.it>2018-03-19 16:16:41 +0100
commit5d749b02ff914f8dd76e60da32987e0c0b2157b5 (patch)
tree46ce890ae1d2c688679536551a4e53cc8e28c804
parente06f9133700ea15e13d5a84871e170651772cbab (diff)
downloadincremental-git-filter-branch-5d749b02ff914f8dd76e60da32987e0c0b2157b5.zip
incremental-git-filter-branch-5d749b02ff914f8dd76e60da32987e0c0b2157b5.tar.gz
incremental-git-filter-branch-5d749b02ff914f8dd76e60da32987e0c0b2157b5.tar.bz2
Use more portable syntax of flock
-rwxr-xr-xbin/incremental-git-filterbranch2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/incremental-git-filterbranch b/bin/incremental-git-filterbranch
index cf9f871..2a785cd 100755
--- a/bin/incremental-git-filterbranch
+++ b/bin/incremental-git-filterbranch
@@ -409,7 +409,7 @@ acquireLock () {
exec 9>"${WORKER_REPOSITORY_DIR}.lock"
while :
do
- if flock --exclusive --timeout 3 9
+ if flock -w 3 9
then
break
fi

© 2014-2020 Faster IT GmbH | imprint | privacy policy