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