arch/arm/cpu/armv7/socfpga/config.mk - u-boot - Git at Google

 #
 # Copyright (C) 2011, Texas Instruments, Incorporated - http://www.ti.com/
 #
 # SPDX-License-Identifier:	GPL-2.0+
 #
 ifndef CONFIG_SPL_BUILD
 ALL-y	+= $(obj)u-boot.img
 endif
	#
	# Copyright (C) 2011, Texas Instruments, Incorporated - http://www.ti.com/
	#
	# SPDX-License-Identifier: GPL-2.0+
	#
	ifndef CONFIG_SPL_BUILD
	ALL-y += $(obj)u-boot.img
	endif