index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2022-09-28 13:59:58 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2022-09-28 13:59:58 +0200 |
commit | aa166d81abc3be5eb8949cc309755a22c0581c5e (patch) | |
tree | 53e376e2eeca0cc5d6a558d5be3af362c02cb7ba /bin/check-mirrors | |
parent | 981e4dbcc23a531f967de9384e1c055fb7785f40 (diff) |
-rwxr-xr-x | bin/check-mirrors | 8 |
diff --git a/bin/check-mirrors b/bin/check-mirrors index 8e782d5..d0b626c 100755 --- a/bin/check-mirrors +++ b/bin/check-mirrors @@ -5,6 +5,14 @@ if [ $# -eq 0 ]; then +# Create a lock file. + + exec 9> "${check_mirrors_lock_file}" + if ! verbose_flock 9; then + >&2 echo 'come back (shortly) later - I cannot lock check-mirrors.' + exit + fi + echo 'updating mirrors from git...' >&2 if [ -d "${releng_directory}/.git" ]; then |