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>
This commit is contained in:
parent
898de6111a
commit
7c7b176169
|
@ -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)"
|
||||
|
|
Loading…
Reference in New Issue