diff --git a/jenkins_build.sh b/jenkins_build.sh old mode 100644 new mode 100755 diff --git a/scripts/jenkins/release.sh b/scripts/jenkins/release.sh old mode 100644 new mode 100755