diff options
| author | Michele Locati <michele@locati.it> | 2018-03-19 16:16:41 +0100 |
|---|---|---|
| committer | Michele Locati <michele@locati.it> | 2018-03-19 16:16:41 +0100 |
| commit | 5d749b02ff914f8dd76e60da32987e0c0b2157b5 (patch) | |
| tree | 46ce890ae1d2c688679536551a4e53cc8e28c804 | |
| parent | e06f9133700ea15e13d5a84871e170651772cbab (diff) | |
| download | incremental-git-filter-branch-5d749b02ff914f8dd76e60da32987e0c0b2157b5.tar.gz incremental-git-filter-branch-5d749b02ff914f8dd76e60da32987e0c0b2157b5.tar.bz2 incremental-git-filter-branch-5d749b02ff914f8dd76e60da32987e0c0b2157b5.zip | |
Use more portable syntax of flock
| -rwxr-xr-x | bin/incremental-git-filterbranch | 2 |
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 |