chiark / gitweb /
Auto-detect which make tool to use.