chiark / gitweb /
build: log the start time of the current build session