Changes in kernel/Makefile [91db0280: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)
@@ -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 \