index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2017-11-02 13:40:52 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-11-02 13:40:52 +0100 |
commit | 0a4d5ca66665463ffd7ba24a6f3181e5960881da (patch) | |
tree | 4d21c8607882475e5fc1f9cc51a13988dc9c0482 | |
parent | 4eac67d833fdbd0ff70e9792f79b4d4d0e6e4290 (diff) |
-rwxr-xr-x | bin/modify-package-state | 6 |
diff --git a/bin/modify-package-state b/bin/modify-package-state index 2b1c10b..aba9296 100755 --- a/bin/modify-package-state +++ b/bin/modify-package-state @@ -111,6 +111,12 @@ if ! [ -r "${input_file}" ]; then exit 2 fi +exec 9> "${sanity_check_lock_file}" +if ! flock -s -n 9; then + >&2 echo 'Cannot get sanity-check lock.' + exit +fi + { err=0 while read -r package reason; do |