1# SPDX-License-Identifier: GPL-2.0+ 2# 3# Makefile 4# 5# Copyright (C) 2011 Texas Instruments Incorporated - http://www.ti.com/ 6 7ifdef CONFIG_SPL_BUILD 8obj-y += mux.o 9endif 10 11obj-y += board.o 12