chiark / gitweb /
src/cross-run.in: New tool to run command in multiple cross-build envs.