On 6/11/2023 11:07 AM, Mark Stevens wrote:
Is there any reason for not having the extension?To me the extension adds information about the file.
The name is actually BIN = nuttx$(EXEEXT) but EXEEXT is not normally defined.
Different toolchains generate executable images in different formats and that format is not known at that level. If you want nuttx.elf just define EXEEXT to be .elf in your Make.defs file.
