Ouss4 commented on a change in pull request #4730:
URL: https://github.com/apache/incubator-nuttx/pull/4730#discussion_r736599102
##########
File path: tools/Config.mk
##########
@@ -461,6 +461,10 @@ endef
# CLEAN - Default clean target
+ifeq ($(CONFIG_ARCH_COVERAGE),y)
+ OBJS += *.gcno *.gcda
Review comment:
> Besides, I feel like this is more of a hack, gcno and gcda are not
"object" files.
I think what can work here is just a simple separate `EXTRA` (or other name)
variable, to hold these kind of files.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org
For queries about this service, please contact Infrastructure at:
us...@infra.apache.org
