diff options
Diffstat (limited to 'deploy-static')
| -rwxr-xr-x | deploy-static | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/deploy-static b/deploy-static index 9ace9230..287593c7 100755 --- a/deploy-static +++ b/deploy-static @@ -2,7 +2,14 @@ set -o errexit -o nounset -o pipefail -./process-static +touch lock +exec {fd}< lock +if ! flock -n $fd; then + echo deploy_static already locked >&2 + exit 1 +fi + +./process-static $fd servers=({0..2}.grapheneos.org) |
