diff options
| author | Nico Huber <nico.h@gmx.de> | 2019-04-06 18:00:35 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2019-04-09 17:20:35 +0000 |
| commit | baa070a81fb8299ad400636ccb839b651a99a1dc (patch) | |
| tree | 0116930fb46a1164703c7f4e6c65f47b0ee66d0a /.gitreview | |
| parent | d727fb5035ef4ae0f9b540932035b4e6dfd9b3bc (diff) | |
src: Fix remaining #include <timer.h>
Follow-up to add76f91d5 (src: Use #include <timer.h> when appropriate).
Change-Id: I7813daa0b73039ec76d33a16ce3ae0ce6cc7f2cc
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/32232
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: HAOUAS Elyes <ehaouas@noos.fr>
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions