diff options
author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-08-05 05:06:37 -0400 |
---|---|---|
committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-12-16 04:17:57 -0500 |
commit | 70966777a4cf45a09e92b5c793dbfe906adf6071 (patch) | |
tree | cf384c9cb0c9b0663654b13ef2f6edd55ecaea35 /litmus | |
parent | 23c6afe9b4bb9aed98a00d0bcbf22599dd05c21e (diff) |
sched_trace: record exec_time in ST_COMPLETION records
Diffstat (limited to 'litmus')
-rw-r--r-- | litmus/sched_task_trace.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/litmus/sched_task_trace.c b/litmus/sched_task_trace.c index c154ec48be41..f623dc7a25eb 100644 --- a/litmus/sched_task_trace.c +++ b/litmus/sched_task_trace.c | |||
@@ -189,6 +189,7 @@ feather_callback void do_sched_trace_task_completion(unsigned long id, | |||
189 | if (rec) { | 189 | if (rec) { |
190 | rec->data.completion.when = now(); | 190 | rec->data.completion.when = now(); |
191 | rec->data.completion.forced = forced; | 191 | rec->data.completion.forced = forced; |
192 | rec->data.completion.exec_time = get_exec_time(t); | ||
192 | put_record(rec); | 193 | put_record(rec); |
193 | } | 194 | } |
194 | } | 195 | } |