From 862dcca6e89d9051f1d8d2e8b2847dd0de49f047 Mon Sep 17 00:00:00 2001
From: Philipp Spilger <philipp.spilger@kip.uni-heidelberg.de>
Date: Mon, 26 Feb 2024 11:10:48 +0100
Subject: [PATCH] fix: Deploy utilities executability of library script
Change-Id: I2a9cca34dc91f27089f19733309d464b3a28eee8
---
bin/yashchiki_deploy_utilities.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bin/yashchiki_deploy_utilities.sh b/bin/yashchiki_deploy_utilities.sh
index 2775a688..d1e56fed 100755
--- a/bin/yashchiki_deploy_utilities.sh
+++ b/bin/yashchiki_deploy_utilities.sh
@@ -9,5 +9,5 @@ NAME_FILTER=( "(" -name "*.py" -or -name "*.sh" ")" )
if [ "${CONTAINER_BUILD_TYPE}" = "stable" ]; then
find "${TARGET_FOLDER}" "${NAME_FILTER[@]}" -delete
find "${SOURCE_FOLDER}" "${NAME_FILTER[@]}" -print0 \
- | xargs -n 1 -0 "${ROOT_DIR}/lib/yashchiki/deploy_utility_with_preamble.sh" "${TARGET_FOLDER}"
+ | xargs -n 1 -0 bash "${ROOT_DIR}/lib/yashchiki/deploy_utility_with_preamble.sh" "${TARGET_FOLDER}"
fi
--
GitLab