## SPDX-License-Identifier: GPL-2.0-only | |
unexport KCONFIG_AUTOHEADER | |
unexport KCONFIG_AUTOCONFIG | |
unexport KCONFIG_DEPENDENCIES | |
unexport KCONFIG_SPLITCONFIG | |
unexport KCONFIG_TRISTATE | |
unexport KCONFIG_NEGATIVES | |
unexport $(COREBOOT_EXPORTS) | |
build: leanefi | |
$(MAKE) -C leanefi | |
leanefi: | |
git clone "https://review.coreboot.org/leanefi" | |
distclean: | |
rm -rf leanefi | |
clean: | |
rm -rf leanefi/build | |
.PHONY: build clean distclean |