board/st/stm32mp1/Makefile - platform/external/u-boot - Gitiles

 #
 # Copyright (C) 2018, STMicroelectronics - All Rights Reserved
 #
 # SPDX-License-Identifier:	GPL-2.0+	BSD-3-Clause
 #

 ifdef CONFIG_SPL_BUILD
 obj-y += spl.o
 else
 obj-y += stm32mp1.o
 endif

 obj-y += board.o
	#
	# Copyright (C) 2018, STMicroelectronics - All Rights Reserved
	#
	# SPDX-License-Identifier: GPL-2.0+ BSD-3-Clause
	#

	ifdef CONFIG_SPL_BUILD
	obj-y += spl.o
	else
	obj-y += stm32mp1.o
	endif

	obj-y += board.o