diff --git a/jenkins/install-plugins.sh b/jenkins/install-plugins.sh
old mode 100644
new mode 100755
diff --git a/jenkins/jenkins-support b/jenkins/jenkins-support
old mode 100644
new mode 100755
diff --git a/jenkins/jenkins.sh b/jenkins/jenkins.sh
old mode 100644
new mode 100755
diff --git a/jenkins/plugins.sh b/jenkins/plugins.sh
old mode 100644
new mode 100755
diff --git a/jenkins/publish.sh b/jenkins/publish.sh
old mode 100644
new mode 100755
diff --git a/jenkins/update-official-library.sh b/jenkins/update-official-library.sh
old mode 100644
new mode 100755