diff options
| author | Paul Menzel <pmenzel@molgen.mpg.de> | 2017-01-20 17:30:00 +0100 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2017-02-17 18:23:23 +0100 |
| commit | 7c7b1761691864158c51d6a99f74e2e4a3e9ca0e (patch) | |
| tree | f0c61579c5b32da177fcb6454b1396a674ce7014 | |
| parent | 898de6111ad79519afe04794df8e09c41500807d (diff) | |
grub: Build module `boottime`
Configure GRUB to build with boot time statistics. That allows users
to add that module to GRUB by adding `boottime` to the list of extra
modules.
Change-Id: I76a07e49aecb37652fe8c7d6a9421fd464424287
Signed-off-by: Paul Menzel <pmenzel@molgen.mpg.de>
Reviewed-on: https://review.coreboot.org/18367
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Rudolph <siro@das-labor.org>
| -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)" |