From 9c44e5f1ce2624e03be27aab4ece1402a8fb77de Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Eric=20M=C3=BCller?= <mueller@kip.uni-heidelberg.de>
Date: Mon, 22 Jul 2024 18:44:42 +0200
Subject: [PATCH] fix: skip build_image if stage not specified
Change-Id: I0c9696bb83e7c13fd86cfa7d7c818c23853079d2
---
lib/yashchiki/build_image.sh | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/lib/yashchiki/build_image.sh b/lib/yashchiki/build_image.sh
index 7fae0330..6b7578c4 100755
--- a/lib/yashchiki/build_image.sh
+++ b/lib/yashchiki/build_image.sh
@@ -3,6 +3,11 @@
set -euo pipefail
shopt -s inherit_errexit 2>/dev/null || true
+if [ -z "${YASHCHIKI_ENABLE_STAGE_IMAGE:-}" ]; then
+ echo "Skipping stage build-base-sandbox."
+ exit 0
+fi
+
TARGET_FOLDER="${YASHCHIKI_SANDBOXES}/${CONTAINER_STYLE}"
if test -f "${YASHCHIKI_IMAGE_NAME}"; then
--
GitLab