chiark / gitweb /
[PATCH] I broke the extras/ again. Add simple build test script now.