1 o Minor features (build):
2 - Assume that a user using ./configure --host wants to cross-compile,
3 and give an error if we cannot find a properly named
4 tool-chain. Add a --disable-tool-name-check option to proceed
5 nevertheless. Addresses ticket 9869. Patch by Benedikt Gollatz.
