diff --git a/.jenkins.sh b/.jenkins.sh
index 0727ebdf688a209315dbcbc339e8169099e26e16..2a971ec49cf841a61473f8ae8f519ba43fc1fc97 100755
--- a/.jenkins.sh
+++ b/.jenkins.sh
@@ -11,10 +11,8 @@ rm build/*-API.json
 
 cd docker
 
-chmod +x build-container.sh
 ./build-container.sh
 
-chmod +x run-container.sh
 ./run-container.sh "${run_dir}"
 OUTCOME=$?
 
diff --git a/docker/build-container.sh b/docker/build-container.sh
old mode 100644
new mode 100755
diff --git a/docker/run-container.sh b/docker/run-container.sh
old mode 100644
new mode 100755