From d4c77daa1a358f17899c25f57b8b9d9495f14da6 Mon Sep 17 00:00:00 2001
From: Giacomo Bernini <g.bernini@nextworks.it>
Date: Wed, 22 Jul 2020 10:00:10 +0200
Subject: [PATCH] upd jenkins script

---
 .jenkins.sh | 2 ++
 1 file changed, 2 insertions(+)
 mode change 100644 => 100755 .jenkins.sh

diff --git a/.jenkins.sh b/.jenkins.sh
old mode 100644
new mode 100755
index 2a971ec..0727ebd
--- 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=$?
 
-- 
GitLab