diff options
| author | Evan Lloyd <evan.lloyd@arm.com> | 2015-12-03 11:35:40 +0000 |
|---|---|---|
| committer | Evan Lloyd <evan.lloyd@arm.com> | 2016-04-01 12:33:09 +0100 |
| commit | 42a45b51aa9748c67654a9f7f4546b464856ca99 (patch) | |
| tree | a88ac128a559cf807ca0b4e7a025e5f788f6cc79 /make_helpers | |
| parent | b169f6a9a1091224899e7d1872dfdd99b38e349e (diff) | |
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
Diffstat (limited to 'make_helpers')
| -rw-r--r-- | make_helpers/cygwin.mk | 3 | ||||
| -rw-r--r-- | make_helpers/msys.mk | 3 | ||||
| -rw-r--r-- | make_helpers/windows.mk | 4 |
3 files changed, 8 insertions, 2 deletions
diff --git a/make_helpers/cygwin.mk b/make_helpers/cygwin.mk index f99be134..e69c0b1b 100644 --- a/make_helpers/cygwin.mk +++ b/make_helpers/cygwin.mk @@ -37,4 +37,7 @@ ifndef CYGWIN_MK include ${MAKE_HELPERS_DIRECTORY}unix.mk + # In cygwin executable files have the Windows .exe extension type. + BIN_EXT := .exe + endif diff --git a/make_helpers/msys.mk b/make_helpers/msys.mk index ca0f72b0..188dc6ca 100644 --- a/make_helpers/msys.mk +++ b/make_helpers/msys.mk @@ -37,5 +37,8 @@ ifndef MSYS_MK include ${MAKE_HELPERS_DIRECTORY}unix.mk + # In MSYS executable files have the Windows .exe extension type. + BIN_EXT := .exe + endif diff --git a/make_helpers/windows.mk b/make_helpers/windows.mk index 92cc8f64..394df3a0 100644 --- a/make_helpers/windows.mk +++ b/make_helpers/windows.mk @@ -38,9 +38,9 @@ ifndef WINDOWS_MK WINDOWS_MK := $(lastword $(MAKEFILE_LIST)) ECHO_BLANK_LINE := @cmd /c echo. - DIR_DELIM := $(strip \) - PATH_SEP := ; + BIN_EXT := .exe + PATH_SEP := ; # For some Windows native commands there is a problem with the directory delimiter. # Make uses / (slash) and the commands expect \ (backslash) |