Changes in kernel/Makefile [b0c2075:91db0280] in mainline

File:

• kernel/Makefile (modified) (2 diffs)

kernel/Makefile

@@ -167 +167 @@
 
 ifeq ($(COMPILER),gcc_cross)
+        CFLAGS = $(GCC_CFLAGS)
+        DEPEND_DEFS = $(DEFS) $(CONFIG_DEFS)
+        INSTRUMENTATION = -finstrument-functions
+endif
+
+ifeq ($(COMPILER),gcc_helenos)
         CFLAGS = $(GCC_CFLAGS)
         DEPEND_DEFS = $(DEFS) $(CONFIG_DEFS)
@@ -206 +212 @@
         generic/src/debug/debug.c \
         generic/src/interrupt/interrupt.c \
+        generic/src/log/log.c \
         generic/src/main/main.c \
         generic/src/main/kinit.c \