On 12 Nov 2014, at 21:17, Liviu Ionescu <i...@livius.net> wrote: > >> semihosting ... be runtime configurable on this, I think. > > I took a quick look at the syntax of command options and monitor commands, > and I would suggest the following: > > - extend the option "-semihosting" with an optional "target=native|gdb|auto", > default auto
unfortunately the parser is not able to detect a missing optional, and will always consume the next option, so this syntax is not available. the only reliable solution was to add a new option -semihosting-target native|gdb|auto which works as expected. regards, Liviu