diff --git a/libs/libbuiltin/libgcc/CMakeLists.txt b/libs/libbuiltin/libgcc/CMakeLists.txt
index 52f3faa7ba8..45f318035ba 100644
--- a/libs/libbuiltin/libgcc/CMakeLists.txt
+++ b/libs/libbuiltin/libgcc/CMakeLists.txt
@@ -28,5 +28,10 @@ if(CONFIG_COVERAGE_MINI AND CONFIG_ARCH_TOOLCHAIN_GCC)
   target_compile_options(
     libcoverage PRIVATE -fno-profile-arcs -fno-test-coverage
                         -fno-stack-protector)
+
+  list(REMOVE_ITEM NUTTX_EXTRA_FLAGS "-fprofile-arcs" "-ftest-coverage"
+       "-fno-inline")
+  set_property(GLOBAL PROPERTY NUTTX_EXTRA_FLAGS ${NUTTX_EXTRA_FLAGS})
+
   target_sources(libcoverage PRIVATE gcov.c)
 endif()