diff options
Diffstat (limited to 'src/frontend/mame/info.h')
-rw-r--r-- | src/frontend/mame/info.h | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/src/frontend/mame/info.h b/src/frontend/mame/info.h index 6fe5fd1d1fb..a4c2f3884ff 100644 --- a/src/frontend/mame/info.h +++ b/src/frontend/mame/info.h @@ -31,19 +31,12 @@ class driver_enumerator; class info_xml_creator { public: - enum class devices_disposition - { - NONE, - FILTERED, - ALL - }; - // construction/destruction info_xml_creator(emu_options const &options, bool dtd = true); // output void output(FILE *out, const std::vector<std::string> &patterns); - void output(FILE *out, const std::function<bool(const char *shortname, bool &done)> &filter, devices_disposition devdisp); + void output(FILE *out, const std::function<bool(const char *shortname, bool &done)> &filter = { }, bool include_devices = true); private: typedef std::unordered_set<std::add_pointer_t<device_type> > device_type_set; |