Changes in kernel/Makefile [550b4e0:91db0280] in mainline

File:

• kernel/Makefile (modified) (3 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 \
@@ -220 +227 @@
         generic/src/mm/km.c \
         generic/src/mm/reserve.c \
-        generic/src/mm/buddy.c \
         generic/src/mm/frame.c \
         generic/src/mm/page.c \