diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-08-09 07:18:47 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-08-09 06:21:18 -0400 |
| commit | 1921674066c4ccb534e357c69629e365be626e0e (patch) | |
| tree | d8d6bdf12b6b71223a3afdea5561adc26458f7fd /litmus/Makefile | |
| parent | 8bee6550e07cd89133cbae0c7a6f6097a2011d58 (diff) | |
Add schedule tracing support
This patch introduces the sched_trace infrastructure, which in
principle allows tracing the generated schedule. However, this patch
does not yet integrate the callbacks with the kernel.
Diffstat (limited to 'litmus/Makefile')
| -rw-r--r-- | litmus/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/litmus/Makefile b/litmus/Makefile index 07f065f9748f..6318f1c6fac8 100644 --- a/litmus/Makefile +++ b/litmus/Makefile | |||
| @@ -3,5 +3,6 @@ | |||
| 3 | # | 3 | # |
| 4 | 4 | ||
| 5 | obj-$(CONFIG_FEATHER_TRACE) += ft_event.o ftdev.o | 5 | obj-$(CONFIG_FEATHER_TRACE) += ft_event.o ftdev.o |
| 6 | obj-$(CONFIG_SCHED_TASK_TRACE) += sched_task_trace.o | ||
| 6 | obj-$(CONFIG_SCHED_DEBUG_TRACE) += sched_trace.o | 7 | obj-$(CONFIG_SCHED_DEBUG_TRACE) += sched_trace.o |
| 7 | obj-$(CONFIG_SCHED_OVERHEAD_TRACE) += trace.o | 8 | obj-$(CONFIG_SCHED_OVERHEAD_TRACE) += trace.o |