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