From 952c66ddb805e33488be162207e45fa03d4939be Mon Sep 17 00:00:00 2001
From: Giacomo Bernini <g.bernini@nextworks.it>
Date: Wed, 22 Jul 2020 10:04:08 +0200
Subject: [PATCH] set correct permissions for container scritps

---
 .jenkins.sh               | 2 --
 docker/build-container.sh | 0
 docker/run-container.sh   | 0
 3 files changed, 2 deletions(-)
 mode change 100644 => 100755 docker/build-container.sh
 mode change 100644 => 100755 docker/run-container.sh

diff --git a/.jenkins.sh b/.jenkins.sh
index 0727ebd..2a971ec 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
-- 
GitLab