#!/bin/bash
# ida-tui performance benchmark driver.
#
# Fast pre-checks first (a syntax error should cost a second, not a worker boot
# and two database opens), then the real bench.
set -euo pipefail
cd "$(dirname "$0")/.."

PY="${IDATUI_PYTHON:-$HOME/ida-venv/bin/python}"

# ~0.4s: catches a syntax error / bad import before we pay for idalib.
python3 -m compileall -q idatui server tests .auto/bench.py >/dev/null

exec "$PY" .auto/bench.py "$@"