Subject: Re: Some more Q. re. mk/tools.mk and a proposal
To: Georg Schwarz <georg.schwarz@freenet.de>
From: Georg Schwarz <georg.schwarz@freenet.de>
List: tech-pkg
Date: 03/02/2005 17:48:22
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