will be in the maintainance mode on Wednesday June 29th 01:00 - 10:00 (UTC+1). Repositories is read only during the maintainance.

Commit 6958eee5 authored by Grant Likely's avatar Grant Likely
Browse files

Rename optee/* targets to optee_os/*

Simple tidy-up to match the name of the optee_os source directory.
Signed-off-by: Grant Likely's avatarGrant Likely <>
parent 66abb076
......@@ -226,11 +226,11 @@ TFA_EXTRA += BL32_EXTRA2=$(OPTEE_OUTPUT)/arm-plat-vexpress/core/tee-pageable_v2.
TFA_EXTRA += SPD=opteed
tfa/all tfa/fip: optee/all
tfa/all tfa/fip: optee_os/all
# ================================================
# Delegate optee targets to optee Makefile
endif # ifeq($(CONFIG_OPTEE),y)
......@@ -263,7 +263,7 @@ flashimage ${FLASH_IMAGE}: ${FLASH_IMAGE_DEPS}
sdimage: flashimage
PHONY += clean mrproper distclean
clean: u-boot/clean tfa/clean devicetree/clean
clean: u-boot/clean tfa/distclean devicetree/clean optee_os/clean
cd $(CURDIR)/mv-ddr && git clean -fdx
mrproper: u-boot/mrproper tfa/distclean devicetree/clean
......@@ -285,7 +285,7 @@ devicetree/%:
# ================================================
# Delegate to op-tee clean target
${MAKE} -C ${OPTEE_PATH} clean
# ================================================
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment