diff options
| author | Patrick Tjin <pattjin@google.com> | 2017-01-26 10:46:15 -0800 |
|---|---|---|
| committer | Mister Oyster <oysterized@gmail.com> | 2017-04-13 12:35:35 +0200 |
| commit | 2f7dc62489e048c6e80b7a802956ee442fd2f4fa (patch) | |
| tree | 3d65c4335a7c015e38f3e02e28708c852c1840f1 /scripts | |
| parent | a85e192bc73f3b8d2cd54fbc7bd95fac247483a6 (diff) | |
random32: include missing header file
Add missing include for timer.h.
Bug: 29621447
Signed-off-by: Patrick Tjin <pattjin@google.com>
Change-Id: I20f0369871c522d66af7e15a3b04efbb4fbf10e9
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions