diff options
author | davidcunado-arm <david.cunado@arm.com> | 2017-08-01 12:38:19 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-01 12:38:19 +0100 |
commit | 2f860c7815c648393f0604c872d5b39546da6419 (patch) | |
tree | f835c1ef5bd20835868cbeab41e7dcd13626d375 /tools | |
parent | 3e0cba5283c95cc07546408ac55542b00f4cd760 (diff) | |
parent | 5954298d27af663e225d41fe6c6208d3a0a1b8dd (diff) |
Merge pull request #1041 from masahir0y/fiptool
fiptool: remove local directory from the header search path
Diffstat (limited to 'tools')
-rw-r--r-- | tools/fiptool/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/fiptool/Makefile b/tools/fiptool/Makefile index 5e2ecc13..e0e39236 100644 --- a/tools/fiptool/Makefile +++ b/tools/fiptool/Makefile @@ -27,7 +27,7 @@ else Q := endif -INCLUDE_PATHS := -I. -I../../include/tools_share +INCLUDE_PATHS := -I../../include/tools_share HOSTCC ?= gcc |