[Buildroot] [PATCH v2 2/7] boot/optee-os: install trusted shared libraries

[Thomas Petazzoni]

Hello Etienne,

On Tue, 14 May 2019 09:38:57 +0200
Etienne Carriere <etienne.carriere at linaro.org> wrote:

> +	$(if $(wildcard $(OPTEE_OS_SDK)/lib/*.ta),

OPTEE_OS_SDK is only populated if BR2_TARGET_OPTEE_OS_SDK=y, but
services/libs are installed if BR2_TARGET_OPTEE_OS_SERVICES=y.

So if BR2_TARGET_OPTEE_OS_SDK is disabled, but
BR2_TARGET_OPTEE_OS_SERVICES=y, this will not copy anything. Is this
the indented behavior ?

Thomas
-- 
Thomas Petazzoni, CTO, Bootlin
Embedded Linux and Kernel engineering
https://bootlin.com