From 7d9ee7e3806cb1b1b484805ba723a0202d917a7a Mon Sep 17 00:00:00 2001 From: Heyi Guo Date: Thu, 1 Mar 2018 18:57:58 +0800 Subject: Change PLATFORM_ROOT to TF_PLATFORM_ROOT Since we use "?=" to set PLATFORM_ROOT, it is better to change the name to be more special, or else it may be overridden by some environment variables, such as in some CI build environments. Signed-off-by: Heyi Guo --- make_helpers/plat_helpers.mk | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'make_helpers') diff --git a/make_helpers/plat_helpers.mk b/make_helpers/plat_helpers.mk index a2f383a51..a7ae9a279 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= 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})) -- cgit v1.2.3