tree a88ac128a559cf807ca0b4e7a025e5f788f6cc79
parent f4ba5cab204496da2717f9aff5ead00f3298dd0b
author Evan Lloyd <evan.lloyd@arm.com> 1449142540 +0000
committer Evan Lloyd <evan.lloyd@arm.com> 1459510389 +0100

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