chiark / gitweb /
Replace the custom test-run target with the standard make check.