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