On 18 November 2014 16:46, Liviu Ionescu <i...@livius.net> wrote: > > On 18 Nov 2014, at 15:31, Peter Maydell <peter.mayd...@linaro.org> 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
