From 4523c7a98fbd9d95c9bf0b0c2bc30963567820cb 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 17:16:42 +0200
Subject: [PATCH] fix: skip build_sandbox if stage not specified
Change-Id: I68dbe2c71981c80d2498a8e9fa0d31f8452d7dca
---
lib/yashchiki/build_sandbox.sh | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/lib/yashchiki/build_sandbox.sh b/lib/yashchiki/build_sandbox.sh
index dc4334ed..17a80b5f 100755
--- a/lib/yashchiki/build_sandbox.sh
+++ b/lib/yashchiki/build_sandbox.sh
@@ -3,6 +3,11 @@
set -euo pipefail
shopt -s inherit_errexit 2>/dev/null || true
+if [ -z "${YASHCHIKI_ENABLE_STAGE_BUILD_BASE:-}" ]; then
+ echo "Skipping stage build-base."
+ exit 0
+fi
+
# set generic locale for building
export LANG=C.UTF-8
export LC_ALL=C.UTF-8
--
GitLab