Fix 5d37fac7c8765253a2ae406329ebf360c8429387.

diff --git a/mono/mini/aot-compiler.c b/mono/mini/aot-compiler.c
index 23646b8d62057f8a72043b380eb1ede6c9566dcb..c3d3d235b76bab7b7dcd415d45cc1da844361946 100644 (file)
--- a/mono/mini/aot-compiler.c
+++ b/mono/mini/aot-compiler.c
@@ -8473,8 +8473,10 @@ mono_compile_assembly (MonoAssembly *ass, guint32 opts, const char *aot_options)
        TV_DECLARE (btv);
 
 #if !defined(MONO_ARCH_GSHAREDVT_SUPPORTED) || !defined(MONO_EXTENSIONS)
-       fprintf (stderr, "-O=gsharedvt not supported on this platform.\n");
-       exit (1);
+       if (acfg->opts & MONO_OPT_GSHAREDVT) {
+               fprintf (stderr, "-O=gsharedvt not supported on this platform.\n");
+               exit (1);
+       }
 #endif
 
        printf ("Mono Ahead of Time compiler - compiling assembly %s\n", image->name);