diff options
Diffstat (limited to 'Makefile.main')
-rw-r--r-- | Makefile.main | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.main b/Makefile.main index cf41a22..bd03ff4 100644 --- a/Makefile.main +++ b/Makefile.main @@ -52,6 +52,10 @@ CPPFLAGS += -ffreestanding CFLAGS := -fno-strict-aliasing -fstack-protector-all -pie -mbig-endian -m64 +ifeq ($(SKIBOOT_GCOV),1) +CFLAGS += -fprofile-arcs -ftest-coverage +endif + ifeq ($(STACK_CHECK),1) CFLAGS += -fstack-protector-all -pg CPPFLAGS += -DSTACK_CHECK_ENABLED |