summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorPaul Menzel <pmenzel@molgen.mpg.de>2017-01-20 17:30:00 +0100
committerMartin Roth <martinroth@google.com>2017-02-17 18:23:23 +0100
commit7c7b1761691864158c51d6a99f74e2e4a3e9ca0e (patch)
treef0c61579c5b32da177fcb6454b1396a674ce7014 /src
parent898de6111ad79519afe04794df8e09c41500807d (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>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions