chiark / gitweb /
wiki: log build start/stop time, command line, RAM, and processor count