fix: always rebuild index from log on startup, flush index after every append

Matthias Nott

2026-04-06 a4f64fec47b8cafb638d6643df2b56b9e152d3d3

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#!/bin/bash
# PAILot Android Build Script
set -euo pipefail

SCRIPT_DIR="$(cd "$(dirname "$0")" && pwd)"
APP_DIR="$(cd "$SCRIPT_DIR/.." && pwd)"

cd "$APP_DIR"

echo "=== Building APK ==="
JAVA_HOME=/opt/homebrew/Cellar/openjdk@17/17.0.18/libexec/openjdk.jdk/Contents/Home \
  flutter build apk --release --no-tree-shake-icons

echo ""
echo "=== Done ==="
echo "APK: build/app/outputs/flutter-apk/app-release.apk"
echo "Run ./tools/deploy-android.sh to install on device"