diff --git a/ci-tools/update-grid-servers b/ci-tools/update-grid-servers old mode 100644 new mode 100755