On 2014-01-28 22:43, Mike Duigou wrote:
- there are tools which are conditionally required on specific platforms but a few which
are "# These are not required on all platforms". Should these perhaps be put
into conditional blocks and required on the platforms they are needed or are they truly
optional?
I believe we opted not to do that because these tools are looked for
before platform.gmk is run, so we don't have proper platform variables
to check. On the other hand, (most of) the platform specific tools are
probably safe to move to a later stage of configure.
/Erik
