From 5df7956069bc1b52fc17aaa6256d7e2de493efc5 Mon Sep 17 00:00:00 2001
From: Davide Grilli <davide.grilli@outlook.com>
Date: Sat, 28 Mar 2026 11:57:33 +0100
Subject: [PATCH] fix: crea dist/ prima del docker run per evitare ownership
 root

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
---
 docker/build.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docker/build.sh b/docker/build.sh
index 464e7b6..56247a4 100755
--- a/docker/build.sh
+++ b/docker/build.sh
@@ -59,6 +59,7 @@ docker build \
 
 # ── Generazione APK ───────────────────────────────────────────────────────────
 echo "==> Generazione APK${RELEASE:+ release}..."
+mkdir -p "$PROJECT_ROOT/dist"
 
 DOCKER_ARGS=(
   --rm