chiark / gitweb /
build-sys: make less noise when checking file