diff --git a/tools/deploy b/tools/deploy old mode 100644 new mode 100755