diff options
Diffstat (limited to 'payloads/external/GRUB2')
| -rw-r--r-- | payloads/external/GRUB2/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/payloads/external/GRUB2/Makefile b/payloads/external/GRUB2/Makefile index dee7f6973b..4a0a49106a 100644 --- a/payloads/external/GRUB2/Makefile +++ b/payloads/external/GRUB2/Makefile @@ -22,7 +22,7 @@ checkout: git branch -f $(NAME-y) $(TAG-y) && \ git checkout $(NAME-y) || true -config: checkout +grub2/build/config.h: $(CONFIG_DEP) | checkout echo " CONFIG GRUB2 $(NAME-y)" rm -rf grub2/build mkdir grub2/build @@ -32,6 +32,8 @@ config: checkout CFLAGS=-O2 TARGET_CFLAGS=-Os \ --with-platform=coreboot --enable-boot-time --disable-werror +config: grub2/build/config.h checkout + grub2: config echo " MAKE GRUB2 $(NAME-y)" $(MAKE) -C grub2/build |