2008-06-29 Zoltan Varga <vargaz@gmail.com>

	* mini.c (mini_parse_debug_options): Add 'dont-free-domains' option.

svn path=/trunk/mono/; revision=106855

diff --git a/mono/mini/ChangeLog b/mono/mini/ChangeLog
index 4687f9fe82cdef08632a089d3429f92307db8273..973fd00d967c44a30e56ee6dd154aef3aa83172a 100644 (file)
--- a/mono/mini/ChangeLog
+++ b/mono/mini/ChangeLog
@@ -1,3 +1,7 @@
+2008-06-29  Zoltan Varga  <vargaz@gmail.com>
+
+       * mini.c (mini_parse_debug_options): Add 'dont-free-domains' option.
+
 2008-06-27  Zoltan Varga  <vargaz@gmail.com>
 
        * mini-trampolines.c (mono_delegate_trampoline): Don't pass a gsctx to

diff --git a/mono/mini/mini.c b/mono/mini/mini.c
index 40208b7c2d65e48a09b515097cbdba1802fdb804..c71677f562480dc3286d8337ca92b11a26a41025 100644 (file)
--- a/mono/mini/mini.c
+++ b/mono/mini/mini.c
@@ -13655,9 +13655,11 @@ mini_parse_debug_options (void)
                        debug_options.break_on_unverified = TRUE;
                else if (!strcmp (arg, "no-gdb-backtrace"))
                        debug_options.no_gdb_backtrace = TRUE;
+               else if (!strcmp (arg, "dont-free-domains"))
+                       mono_dont_free_domains = TRUE;
                else {
                        fprintf (stderr, "Invalid option for the MONO_DEBUG env variable: %s\n", arg);
-                       fprintf (stderr, "Available options: 'handle-sigint', 'keep-delegates', 'collect-pagefault-stats', 'break-on-unverified', 'no-gdb-backtrace'\n");
+                       fprintf (stderr, "Available options: 'handle-sigint', 'keep-delegates', 'collect-pagefault-stats', 'break-on-unverified', 'no-gdb-backtrace', 'dont-free-domains'\n");
                        exit (1);
                }
        }