diff options
author | Alexander Graf <agraf@suse.de> | 2013-04-19 02:35:08 +0200 |
---|---|---|
committer | Alexander Graf <agraf@suse.de> | 2013-04-26 23:02:41 +0200 |
commit | c8ff5daa09516272117eb23cd00da5d188ba73eb (patch) | |
tree | e0b18192d226aa628e0bcfa4e1cdb32b6bd8a7f9 /monitor.c | |
parent | 20f649dd22dae13301c906c27a8768a318591ae8 (diff) |
PPC: Fix compile with profiling enabled
When using profiling, we rely on profile_getclock() being available
at our disposal. Somehow that function got moved from an indirect
include we used to have in translate-init.c, so that we were now
left not properly compiling anymore.
Add an explicit include to timer.h which defines profile_getclock,
so that we can compile again.
Signed-off-by: Alexander Graf <agraf@suse.de>
Diffstat (limited to 'monitor.c')
0 files changed, 0 insertions, 0 deletions