Changes in kernel/Makefile [da52547:06737a0] in mainline

File:

• kernel/Makefile (modified) (8 diffs)

kernel/Makefile

@@ -160 +160 @@
         CFLAGS = $(GCC_CFLAGS)
         DEPEND_DEFS = $(DEFS) $(CONFIG_DEFS)
-        INSTRUMENTATION = -finstrument-functions
 endif
 
@@ -166 +165 @@
         CFLAGS = $(GCC_CFLAGS)
         DEPEND_DEFS = $(DEFS) $(CONFIG_DEFS)
-        INSTRUMENTATION = -finstrument-functions
 endif
 
@@ -172 +170 @@
         CFLAGS = $(ICC_CFLAGS)
         DEPEND_DEFS = $(DEFS) $(CONFIG_DEFS)
-        INSTRUMENTATION =
 endif
 
@@ -179 +176 @@
         DEFS += $(CONFIG_DEFS)
         DEPEND_DEFS = $(DEFS)
-        INSTRUMENTATION =
 endif
 
@@ -185 +181 @@
         CFLAGS = $(CLANG_CFLAGS)
         DEPEND_DEFS = $(DEFS) $(CONFIG_DEFS)
-        INSTRUMENTATION =
 endif
 
@@ -207 +202 @@
         generic/src/debug/stacktrace.c \
         generic/src/debug/panic.c \
-        generic/src/debug/debug.c \
         generic/src/interrupt/interrupt.c \
         generic/src/main/main.c \
@@ -361 +355 @@
 endif
 
-## Sources where instrumentation is enabled
-#
-
-ifeq ($(CONFIG_TRACE),y)
-INSTRUMENTED_SOURCES = \
-        generic/src/cpu/cpu.c \
-        generic/src/main/main.c \
-        generic/src/main/kinit.c \
-        generic/src/proc/the.c
-endif
-
 GENERIC_OBJECTS := $(addsuffix .o,$(basename $(GENERIC_SOURCES)))
 ARCH_OBJECTS := $(addsuffix .o,$(basename $(ARCH_SOURCES)))
@@ -431 +414 @@
 
 %.o: %.c $(DEPEND)
-        $(CC) $(DEFS) $(CFLAGS) $(EXTRA_FLAGS) $(FPU_NO_CFLAGS) $(if $(findstring $<,$(INSTRUMENTED_SOURCES)),$(INSTRUMENTATION)) -c -o $@ $<
+        $(CC) $(DEFS) $(CFLAGS) $(EXTRA_FLAGS) $(FPU_NO_CFLAGS) -c -o $@ $<
 ifeq ($(PRECHECK),y)
         $(JOBFILE) $(JOB) $< $@ cc core $(DEFS) $(CFLAGS) $(EXTRA_FLAGS) $(FPU_NO_CFLAGS)