chiark / gitweb /
Split build: Add a bit more debugging output