| ## 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 |