Where should that be in the (current) documentation? I’ll go and add it as I didn’t know this.
From: Gregory Nutt <spudan...@gmail.com> Reply to: "dev@nuttx.apache.org" <dev@nuttx.apache.org> Date: Sunday, 11 June 2023 at 18:16 To: "dev@nuttx.apache.org" <dev@nuttx.apache.org> Subject: Re: STM32 and GDB - How do I generate the ELF file? 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.
