diff --git a/.jenkins.sh b/.jenkins.sh old mode 100644 new mode 100755 index 2a971ec49cf841a61473f8ae8f519ba43fc1fc97..0727ebdf688a209315dbcbc339e8169099e26e16 --- a/.jenkins.sh +++ b/.jenkins.sh @@ -11,8 +11,10 @@ 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=$?