chiark / gitweb /
Add better ARM/Android support, support a wider variety of configure options.