diff --git a/run/update-prod-servers.sh b/run/update-prod-servers.sh old mode 100644 new mode 100755