Am 30.03.2017 um 12:17 schrieb Peter Maydell: > Oops, I just noticed I had a minor change here which I forgot > to squash in before sending: > > - error_exit "Unsupported host OS $targetos" > + error_exit "Unrecognized host OS $targetos" > > since this is the case of "we don't know what this is" rather > than "we know what this is but we're planning to remove it". > > OK to squash that in when I apply this patch? > > thanks > -- PMM
Yes, sure. Thanks Stefan
