chiark / gitweb /
[PATCH] allow simple-build-check.sh to go faster if MAKEOPTS is set