diff --git a/tool/release.sh b/tool/release.sh old mode 100644 new mode 100755