Evan Lloyd 42a45b51aa Make:Allow for extension in tool names. ... In some build environments executable programs have a specific file extension. The value of BIN_EXT is appended to the relevant tool file names to allow for this. The value of BIN_EXT is set, where appropriate, by the build environment specific make helper (to .exe for Windows build environments). .gitignore is updated to hide the new (.exe) files. Change-Id: Icc32f64b750e425265075ad4e0dea18129640b86		2016-04-01 12:33:09 +01:00
..
include	Merge pull request #484 from jcastillo-arm/jc/tf-issues/337	2016-01-13 11:42:30 +00:00
src	cert_create: update help message	2016-01-07 14:48:27 +00:00
Makefile	Make:Allow for extension in tool names.	2016-04-01 12:33:09 +01:00