chiark / gitweb /
lint: exit with an error code if any errors are found