chiark / gitweb /
Allow a subset of checks to be run.
-rwxr-xr-x 754 check
drwxr-xr-x - check.d
-rwxr-xr-x 1556 rcheck