chiark / gitweb /
Hacking to make out-of-tree builds work properly.