chiark / gitweb /
Improve 'no sdk version found' output