btashton commented on a change in pull request #2115:
URL: https://github.com/apache/incubator-nuttx/pull/2115#discussion_r512990604
##########
File path: Makefile
##########
@@ -45,3 +45,7 @@ else
include tools/Makefile.unix
endif
endif
+
+.PHONY: execname
+execname:
+ @echo $(BIN)
Review comment:
I want a target that allows other scripting to use the files (like our
CI system). I don't want the makefile to actually do anything with them, right
now there is no way to get this info. We could generate an manifest file if you
prefer.
----------------------------------------------------------------
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.
For queries about this service, please contact Infrastructure at:
us...@infra.apache.org
