Subject: Re: Some more Q. re. mk/ and a proposal
To: Georg Schwarz <>
From: Georg Schwarz <>
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  +49 178 8545053