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 /src | |
| 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>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions