chiark / gitweb /
- Make use of enhanced BuildExceptions
authorprcrst <prcrst@hush.com>
Sun, 8 Jan 2012 18:27:54 +0000 (19:27 +0100)
committerCiaran Gultnieks <ciaran@ciarang.com>
Mon, 9 Jan 2012 13:23:23 +0000 (13:23 +0000)
commit200073b0f981835dd77fbbb960dc7fe842276bf3
tree269e59987d07a969484adcdf1fac08286329fc1f
parent4cd621f9398c8749bcf774acb693ebc6e4f29cf6
- Make use of enhanced BuildExceptions
- Add logfiles
- Add --stop mode to break on exceptions
build.py