diff --git a/src/dist/extras/deploy.sh b/src/dist/extras/deploy.sh old mode 100644 new mode 100755