Hugmeir/utf8mess — pull request #2 by dex4er (2014-01-17 15:54:53+00:00)
Title: Changing osname moved to Configure script

This new hints/linux-android.sh leaves config.arch in working tree. It also overrides previous config.arch.

I moved this code back to main Configure script, just before config.arch is created.