diff options
| -rw-r--r-- | payloads/external/GRUB2/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/payloads/external/GRUB2/Makefile b/payloads/external/GRUB2/Makefile index c257f0e954..137fec2847 100644 --- a/payloads/external/GRUB2/Makefile +++ b/payloads/external/GRUB2/Makefile @@ -40,7 +40,8 @@ config: checkout cd grub2 && ./autogen.sh cd grub2/build && ../configure BUILD_CC="$(HOSTCC)" CC="$(HOSTCC)" \ TARGET_CC="$(CC)" \ - TARGET_OBJCOPY="$(OBJCOPY)" TARGET_STRIP="$(STRIP)" CFLAGS=-O2 TARGET_CFLAGS=-Os --with-platform=coreboot + TARGET_OBJCOPY="$(OBJCOPY)" TARGET_STRIP="$(STRIP)" CFLAGS=-O2 TARGET_CFLAGS=-Os --with-platform=coreboot \ + --enable-boot-time grub2: config echo " MAKE GRUB2 $(NAME-y)" |