chore(build): drop unused JMAP variable

jmap.py is an authoring-only tool and is not invoked at build time; remove the
dead variable so the script matches the README.

Signed-off-by: LÁZÁR Imre <imre@illusion.hu>
Assisted-by: claude-code@claude-opus-4-8
This commit is contained in:
LÁZÁR Imre AI Agent 2026-07-16 13:58:28 +02:00
parent d0d305b6ab
commit 22d0a1a00f

View File

@ -13,7 +13,6 @@
set -euo pipefail
ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
OUT="${1:-$ROOT/out}"
JMAP="$ROOT/lib/jmap.py"
log(){ printf '[build] %s\n' "$*"; }
rm -rf "$OUT"; mkdir -p "$OUT"