Changes in kernel/Makefile [8f2eca0:b0c2075] 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)
@@ -226 +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 \