[runtime] Add API to set debug options without going through MONO_DEBUG.

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

diff --git a/mono/mini/mini.h b/mono/mini/mini.h
index 9596aabcb02da341aa2f70490b7477b937b393db..f5d7deb71e670d7f82dce90dc2b5e99ac65b45cb 100644 (file)
--- a/mono/mini/mini.h
+++ b/mono/mini/mini.h
@@ -2229,6 +2229,7 @@ MONO_API void        mono_parse_env_options         (int *ref_argc, char **ref_a
 MonoDomain* mini_init                      (const char *filename, const char *runtime_version);
 void        mini_cleanup                   (MonoDomain *domain);
 MONO_API MonoDebugOptions *mini_get_debug_options   (void);
+MONO_API gboolean    mini_parse_debug_option (const char *option);
 
 /* helper methods */
 void      mini_jit_init                    (void);