diff options
| author | Markus Armbruster | 2019-04-05 08:41:21 +0200 |
|---|---|---|
| committer | Eduardo Habkost | 2019-04-25 19:16:42 +0200 |
| commit | 12cb82fdf01e9110455b2c55172c751531500d87 (patch) | |
| tree | 3723de233f6a004f1d60b4f9e9b96f60a00e8826 /scripts/update-linux-headers.sh | |
| parent | vl: Clean up after previous commit (diff) | |
| download | qemu-12cb82fdf01e9110455b2c55172c751531500d87.tar.gz qemu-12cb82fdf01e9110455b2c55172c751531500d87.tar.xz qemu-12cb82fdf01e9110455b2c55172c751531500d87.zip | |
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 'scripts/update-linux-headers.sh')
0 files changed, 0 insertions, 0 deletions