chiark / gitweb /
Convert to defvalopt: --build-products-dir