From cb56641410c729259830c9221ca3f9163553bfd5 Mon Sep 17 00:00:00 2001
From: Lennart Reiher <lennart.reiher@ika.rwth-aachen.de>
Date: Fri, 25 Oct 2024 06:51:52 +0000
Subject: [PATCH] only install slim in ci.sh if enabled

---
 scripts/ci.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/scripts/ci.sh b/scripts/ci.sh
index b9a7ef9..d0eb65d 100755
--- a/scripts/ci.sh
+++ b/scripts/ci.sh
@@ -70,8 +70,10 @@ unset TARGET
 unset PLATFORM
 
 # prepare slim
-curl -L -o ds.tar.gz https://github.com/slimtoolkit/slim/releases/download/1.40.11/dist_linux.tar.gz
-tar -xvf ds.tar.gz
+if [[ "${ENABLE_SLIM}" == "true" ]]; then
+    curl -L -o ds.tar.gz https://github.com/slimtoolkit/slim/releases/download/1.40.11/dist_linux.tar.gz
+    tar -xvf ds.tar.gz
+fi
 
 # loop over targets and platforms to build images
 for PLATFORM in "${PLATFORMS[@]}"; do