chiark / gitweb /
bin/cross-run.in: Pass `-k', `-n' and `-s' flags through to `make'.