chiark / gitweb /
progress printing and bugfixing and build system improvements