set correct permissions for container scritps

952c66dd · Giacomo Bernini · d4c77daa · 952c66dd · 952c66dd · 952c66dd
Commit 952c66dd authored Jul 22, 2020 by Giacomo Bernini
--- 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=$?


--- a/docker/build-container.sh
+++ b/docker/build-container.sh
--- a/docker/run-container.sh
+++ b/docker/run-container.sh