index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2017-05-17 14:51:38 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-05-17 14:51:38 +0200 |
commit | cd2540e6a7bcae913be1034d93c7dd2b9a9a704a (patch) | |
tree | c6ac39f2e67495ecaf325e381d98d77ec208d0b6 /bin/get-package-updates | |
parent | b5e64080699536e7802e1b3dd105032386573f63 (diff) |
-rwxr-xr-x | bin/get-package-updates | 9 |
diff --git a/bin/get-package-updates b/bin/get-package-updates index 2e666ac..80e9527 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -13,8 +13,11 @@ # Create a lock file for build list. -exec 9> "${lock_file}" -flock -n 9 || exit +exec 9> "${build_list_lock_file}" +if ! flock -n 9; then + >&2 echo 'come back (shortly) later - I cannot lock build list.' + exit +fi # Update git repositories (official packages, community packages and the repository of package customizations). @@ -244,4 +247,4 @@ fi # Remove the lock file -rm -f "${lock_file}" +rm -f "${build_list_lock_file}" |