On 18 November 2014 16:46, Liviu Ionescu <[email protected]> wrote: > > On 18 Nov 2014, at 15:31, Peter Maydell <[email protected]> wrote: > >> Sorry, yes, you're right; I should have looked more carefully. >> So we do need a new option; > > or we should fix the parser. if the current keyword is not in > the list, it can be pushed back, and defaults used.
This is veering quite close to magic, really. It changes the current handling of some valid command lines (admittedly ones with implausible image names, but still). >> -semihosting-config target=[native|gdb|auto] > > ok, I'll implement this, and if you fix the parser we'll change it to the > plain -semihosting. Thanks. -- PMM
