From d5fbedf68f47ac1b504675a1a002d777a0eae18a Mon Sep 17 00:00:00 2001
From: Philipp Spilger <philipp.spilger@kip.uni-heidelberg.de>
Date: Tue, 13 Feb 2024 14:29:43 +0100
Subject: [PATCH] chore: Remove unnecessary second removal of sandboxes
directory before build
* already done once in Jenkinsfile
Change-Id: Ie33d5e1352295f77c24635ee8d9f8384cfa5d5af
---
lib/yashchiki/build_sandbox.sh | 4 ----
1 file changed, 4 deletions(-)
diff --git a/lib/yashchiki/build_sandbox.sh b/lib/yashchiki/build_sandbox.sh
index 0162516d..97ba4ecb 100755
--- a/lib/yashchiki/build_sandbox.sh
+++ b/lib/yashchiki/build_sandbox.sh
@@ -24,10 +24,6 @@ fi
TARGET_FOLDER="${YASHCHIKI_SANDBOXES}/${CONTAINER_STYLE}"
-# Do not change: special sudo permit for the host user... (with env var resolved by host user)
-# When changing the env var value the sudo permit needs changing as well
-sudo rm -rf ${YASHCHIKI_SANDBOXES}/
-
mkdir ${YASHCHIKI_SANDBOXES}
# Do not change: special sudo permit for the host user...
--
GitLab