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