chiark / gitweb /
If $idistro set (ie, distro explicitly specified by user), do not look at anything...