chiark / gitweb /
build-sys: rename --with-distro=none to --with-distro=other