#!/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" "$@"