Files
2026-11-06 21:43:48 +05:30

4 lines
189 B
Bash

#!/usr/bin/env bash
# unsafe-migration: regenerates output/*.txt. JDK25=/path JDK21=/path [JDK26=/path JDK27=/path] ./run.sh
exec "$(cd "$(dirname "$0")" && pwd)/scripts/run-all.sh" "$@"