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. > -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. > have -semihosting-config have an implied 'enable=true', so ok Liviu
