Merge pull request #2802 from BrzVlad/feature-evacuation-opt2

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

diff --git a/mono/mini/mini.h b/mono/mini/mini.h
index e63fd7aa222d33be1b2f2e31e96ba75244e57e8c..3159149307040796ecef73de4c5a6fc3ae92d7e5 100644 (file)
--- a/mono/mini/mini.h
+++ b/mono/mini/mini.h
@@ -2286,6 +2286,8 @@ mono_bb_last_inst (MonoBasicBlock *bb, int filter)
 MONO_API int         mono_main                      (int argc, char* argv[]);
 MONO_API void        mono_set_defaults              (int verbose_level, guint32 opts);
 MONO_API void        mono_parse_env_options         (int *ref_argc, char **ref_argv []);
+MONO_API char       *mono_parse_options_from        (const char *options, int *ref_argc, char **ref_argv []);
+
 MonoDomain* mini_init                      (const char *filename, const char *runtime_version);
 void        mini_cleanup                   (MonoDomain *domain);
 MONO_API MonoDebugOptions *mini_get_debug_options   (void);