diff options
| author | Markus Armbruster <armbru@redhat.com> | 2019-04-05 14:41:21 +0800 |
|---|---|---|
| committer | Eduardo Habkost <ehabkost@redhat.com> | 2019-04-25 14:16:42 -0300 |
| commit | 12cb82fdf01e9110455b2c55172c751531500d87 (patch) | |
| tree | 3723de233f6a004f1d60b4f9e9b96f60a00e8826 /linux-user/main.c | |
| parent | f2c93021380f13272d9cd1e3b693a654358b0a3c (diff) | |
vl: Simplify machine_parse()
Exploit that argument @name is nerver null. Check is_help_option()
first, because that's what we do elsewhere. If we (foolishly!)
defined a machine named "help", -machine help would now print help
instead of selecting the machine named "help".
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Reviewed-by: Wei Yang <richardw.yang@linux.intel.com>
Message-Id: <20190405064121.23662-5-richardw.yang@linux.intel.com>
Signed-off-by: Eduardo Habkost <ehabkost@redhat.com>
Diffstat (limited to 'linux-user/main.c')
0 files changed, 0 insertions, 0 deletions