only install slim in ci.sh if enabled

ika-rwth-aachen · Oct 25, 2024 · cb56641 · cb56641
1 parent 1b33b10
commit cb56641
Showing 1 changed file with 4 additions and 2 deletions.
diff --git 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