diff options
author | 2018-05-30 09:52:39 +1000 | |
---|---|---|
committer | 2018-05-30 09:52:39 +1000 | |
commit | c7b221458cca9ca3bde977ae042281879af76ca5 (patch) | |
tree | 9f963bea4c9902bc741e04262184354b22dd3392 /docs/release/src/emu/emuopts.cpp | |
parent | 1c5773d0da60e89ec39ea2723aa7831ba3d13ab9 (diff) |
0.198 Release filestag198
Diffstat (limited to 'docs/release/src/emu/emuopts.cpp')
-rw-r--r-- | docs/release/src/emu/emuopts.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/docs/release/src/emu/emuopts.cpp b/docs/release/src/emu/emuopts.cpp index 247d6c6c910..76c68dc8c79 100644 --- a/docs/release/src/emu/emuopts.cpp +++ b/docs/release/src/emu/emuopts.cpp @@ -383,14 +383,17 @@ namespace std::vector<std::string> get_full_option_names(const device_image_interface &image) { std::vector<std::string> result; + bool same_name = image.instance_name() == image.brief_instance_name(); result.push_back(image.instance_name()); - result.push_back(image.brief_instance_name()); + if (!same_name) + result.push_back(image.brief_instance_name()); if (strcmp(image.device_typename(image.image_type()), image.instance_name().c_str()) == 0) { result.push_back(image.instance_name() + "1"); - result.push_back(image.brief_instance_name() + "1"); + if (!same_name) + result.push_back(image.brief_instance_name() + "1"); } return result; } |