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 --- tools/cert_create/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') diff --git a/tools/cert_create/Makefile b/tools/cert_create/Makefile index 437b6927..b0994b8c 100644 --- a/tools/cert_create/Makefile +++ b/tools/cert_create/Makefile @@ -35,7 +35,7 @@ PLAT_INCLUDE := ../../include/tools_share else PLAT_MSG := ${PLAT} -PLATFORM_ROOT := ../../plat/ +TF_PLATFORM_ROOT := ../../plat/ include ${MAKE_HELPERS_DIRECTORY}plat_helpers.mk PLAT_INCLUDE := $(wildcard ${PLAT_DIR}include) -- cgit v1.2.3