chiark / gitweb /
Record successful/failed builds and print a summary afterwards
authorprcrst <prcrst@hush.com>
Tue, 3 Jan 2012 07:43:14 +0000 (08:43 +0100)
committerCiaran Gultnieks <ciaran@ciarang.com>
Tue, 3 Jan 2012 15:38:20 +0000 (15:38 +0000)
commitadb98b059e554cb5a5ad2f294bcf129b94e410e4
tree82131914b0bb4d65c4ae13edd27b724af7dcb103
parent93330e3ff3097686882231e88615ec408940e6f2
Record successful/failed builds and print a summary afterwards
build.py