Changes in kernel/Makefile [91db0280:550b4e0] 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)
@@ -212 +206 @@
         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 \
@@ -227 +220 @@
         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 \