diff options
Diffstat (limited to 'payloads/external/Makefile.mk')
| -rw-r--r-- | payloads/external/Makefile.mk | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/payloads/external/Makefile.mk b/payloads/external/Makefile.mk index d497cf871c..4a17791052 100644 --- a/payloads/external/Makefile.mk +++ b/payloads/external/Makefile.mk @@ -436,6 +436,13 @@ payloads/external/skiboot/build/skiboot.elf: $(MAKE) -C payloads/external/skiboot all \ CONFIG_SKIBOOT_GIT_REPO=$(CONFIG_SKIBOOT_GIT_REPO) \ CONFIG_SKIBOOT_REVISION=$(CONFIG_SKIBOOT_REVISION) + +# leanefi + +payloads/external/leanefi/leanefi/build/leanefi.elf: FORCE $(DOTCONFIG) + $(MAKE) -C payloads/external/leanefi +FORCE: ; + # COREDOOM payloads/external/coreDOOM/coredoom/doomgeneric/coredoom.elf coredoom: |