[mini] Initialize profiler in mini_init

[mono.git] / mono / mini / mini.h

diff --git a/mono/mini/mini.h b/mono/mini/mini.h
index 236c5528286c6fd4e75435dc378d7119275a75dc..568caffb40d89a28a3070712e7206d3a5ace6cdb 100644 (file)
--- a/mono/mini/mini.h
+++ b/mono/mini/mini.h
@@ -2334,6 +2334,7 @@ MonoDomain* mini_init                      (const char *filename, const char *ru
 void        mini_cleanup                   (MonoDomain *domain);
 MONO_API MonoDebugOptions *mini_get_debug_options   (void);
 MONO_API gboolean    mini_parse_debug_option (const char *option);
+void        mini_profiler_enable_with_options (const char *profile_options);
 
 /* graph dumping */
 void mono_cfg_dump_create_context (MonoCompile *cfg);