On 4 July 2013 14:09, Markus Armbruster <arm...@redhat.com> wrote: > Multiple -machine options with the same ID are merged. All but the > one without an ID are to be silently ignored.
I think it would make more sense just to say that specifying id= for -machine (or any other merge_lists=true option type) is not permitted. Or do you have a reason for wanting to have more than one -machine? -- PMM
