1  ## SPDX-License-Identifier: GPL-2.0-only
 2  
 3  unexport KCONFIG_AUTOHEADER
 4  unexport KCONFIG_AUTOCONFIG
 5  unexport KCONFIG_DEPENDENCIES
 6  unexport KCONFIG_SPLITCONFIG
 7  unexport KCONFIG_TRISTATE
 8  unexport KCONFIG_NEGATIVES
 9  unexport $(COREBOOT_EXPORTS)
10  
11  build: leanefi
12  	$(MAKE) -C leanefi
13  
14  leanefi:
15  	git clone "https://review.coreboot.org/leanefi"
16  
17  distclean:
18  	rm -rf leanefi
19  
20  clean:
21  	rm -rf leanefi/build
22  
23  .PHONY: build clean distclean