chiark / gitweb /
autogen.sh: fix -print-multi-os-directory usage