From d5599ac1b83518938378fc803c0f28dfef1db420 Mon Sep 17 00:00:00 2001 From: Kevin Veen-Birkenbach Date: Wed, 17 Dec 2025 16:31:28 +0100 Subject: [PATCH] Solved shellchecker hints --- scripts/build/image.sh | 2 -- 1 file changed, 2 deletions(-) diff --git a/scripts/build/image.sh b/scripts/build/image.sh index f196695f..d07e7126 100755 --- a/scripts/build/image.sh +++ b/scripts/build/image.sh @@ -1,8 +1,6 @@ #!/usr/bin/env bash set -euo pipefail -SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)" - : "${INFINITO_DISTRO:?Environment variable 'INFINITO_DISTRO' must be set (arch|debian|ubuntu|fedora|centos)}" NO_CACHE=0