Hi Massimo,
On 9/8/2026 7:04 PM, Massimo Pegorer wrote:
> Just check that CONFIG_XPL_BUILD is not set to select files for U-Boot
> proper build. Indeed, CONFIG_TPL_BUILD being set implies by design that
> CONFIG_XPL_BUILD is set too, therefore CONFIG_XPL_BUILD not set implies
> that CONFIG_TPL_BUILD is not set either, making its check needless.
>
> Fixes: bef9fdbed2e5 ("arch: Use CONFIG_XPL_BUILD instead of CONFIG_SPL_BUILD")
> Signed-off-by: Massimo Pegorer <[email protected]>
> ---
> arch/arm/mach-rockchip/Makefile | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/arch/arm/mach-rockchip/Makefile b/arch/arm/mach-rockchip/Makefile
> index d3bc0689f89..8148816c48c 100644
> --- a/arch/arm/mach-rockchip/Makefile
> +++ b/arch/arm/mach-rockchip/Makefile
> @@ -15,7 +15,7 @@ obj-tpl-$(CONFIG_ROCKCHIP_PX30) += px30-board-tpl.o
> spl_common.o
>
> obj-spl-$(CONFIG_ROCKCHIP_RK3036) += rk3036-board-spl.o spl_common.o
>
> -ifeq ($(CONFIG_XPL_BUILD)$(CONFIG_TPL_BUILD),)
> +ifeq ($(CONFIG_XPL_BUILD),)
This and next patch seem to match my patch at [1] :-)
[1] https://patch.msgid.link/[email protected]/
Regards,
Jonas
>
> # Always include boot_mode.o, as we bypass it (i.e. turn it off)
> # inside of boot_mode.c when CONFIG_ROCKCHIP_BOOT_MODE_REG is 0. This way,
>
