Changes in kernel/Makefile [7a0359b:da52547] in mainline

File:

• kernel/Makefile (modified) (1 diff)

kernel/Makefile

@@ -365 +365 @@
 
 ifeq ($(CONFIG_TRACE),y)
-        INSTRUMENTED_SOURCES = \
-                generic/src/adt/btree.c \
-                generic/src/cpu/cpu.c \
-                generic/src/ddi/ddi.c \
-                generic/src/interrupt/interrupt.c \
-                generic/src/main/main.c \
-                generic/src/main/kinit.c \
-                generic/src/proc/the.c \
-                generic/src/proc/tasklet.c \
-                generic/src/mm/frame.c \
-                generic/src/mm/page.c \
-                generic/src/mm/tlb.c \
-                generic/src/mm/as.c \
-                generic/src/mm/slab.c \
-                generic/src/sysinfo/sysinfo.c \
-                generic/src/console/kconsole.c
-else
-        INSTRUMENTED_SOURCES =
+INSTRUMENTED_SOURCES = \
+        generic/src/cpu/cpu.c \
+        generic/src/main/main.c \
+        generic/src/main/kinit.c \
+        generic/src/proc/the.c
 endif