diff options
-rwxr-xr-x | bumpVersion | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bumpVersion b/bumpVersion index 53ab8693c..5e80ce88b 100755 --- a/bumpVersion +++ b/bumpVersion @@ -117,6 +117,11 @@ if [ -z "${remVer}" ]; then exit 0 fi +exec 9> "build.lock" +printf 'getting lock for bumpVersion %s\n' "$(pwd)" +flock 9 +printf 'got lock for bumpVersion %s\n' "$(pwd)" + # Wir misbrauchen bumpPkgrel um _pinned_dependencies zu aktualisieren. # $pkgrel wird nachher ohnehin wieder auf 1 gesetzt. "${myDir}/bumpPkgrel" -n -p "${provided}" "${paket}" |