diff options
author | davidcunado-arm <david.cunado@arm.com> | 2018-03-21 19:20:43 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-21 19:20:43 +0000 |
commit | 60bb5258f9e52ed3454923ac35d214ab995ad3e6 (patch) | |
tree | 2b0258ab1079becf409d95b454347bfbd537b999 /make_helpers | |
parent | 6d8db46bec56d3eec3e112886a47b41b07cd4bbe (diff) | |
parent | 7d9ee7e3806cb1b1b484805ba723a0202d917a7a (diff) |
Merge pull request #1294 from iwishguo/master
Change PLATFORM_ROOT to TF_PLATFORM_ROOT
Diffstat (limited to 'make_helpers')
-rw-r--r-- | make_helpers/plat_helpers.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/make_helpers/plat_helpers.mk b/make_helpers/plat_helpers.mk index a2f383a5..a7ae9a27 100644 --- a/make_helpers/plat_helpers.mk +++ b/make_helpers/plat_helpers.mk @@ -15,14 +15,14 @@ ifndef PLAT_HELPERS_MK $(error "Error: Unknown platform. Please use PLAT=<platform name> to specify the platform") endif - # PLATFORM_ROOT can be overridden for when building tools directly - PLATFORM_ROOT ?= plat/ + # TF_PLATFORM_ROOT can be overridden for when building tools directly + TF_PLATFORM_ROOT ?= plat/ PLAT_MAKEFILE := platform.mk # Generate the platforms list by recursively searching for all directories # under /plat containing a PLAT_MAKEFILE. Append each platform with a `|` # char and strip out the final '|'. - ALL_PLATFORM_MK_FILES := $(call rwildcard,${PLATFORM_ROOT},${PLAT_MAKEFILE}) + ALL_PLATFORM_MK_FILES := $(call rwildcard,${TF_PLATFORM_ROOT},${PLAT_MAKEFILE}) ALL_PLATFORM_DIRS := $(patsubst %/,%,$(dir ${ALL_PLATFORM_MK_FILES})) ALL_PLATFORMS := $(sort $(notdir ${ALL_PLATFORM_DIRS})) |