chiark / gitweb /
* Fix handling of pre-built source trees.