One more thing: is it necessary to have a separate
_TOOLS_OVERRIDE.${_tool_}, or could rather _TOOLS_REPLACE.${_tool_}
serve that purpose (by finally setting it to YES as well if the respective
GNU tool is needed)?
--
Georg Schwarz http://home.pages.de/~schwarz/
georg.schwarz@freenet.de +49 178 8545053