2003-12-08 Zoltan Varga <vargaz@freemail.hu>

	* driver.c (mono_main): Call mono_verify_corlib.

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

diff --git a/mono/mini/ChangeLog b/mono/mini/ChangeLog
index cc70efdf1d1374bd0adb933b766354e8eb2f2f9d..07d44ef1c475b56811c29730e4218d6c9a57db12 100644 (file)
--- a/mono/mini/ChangeLog
+++ b/mono/mini/ChangeLog
@@ -1,3 +1,7 @@
+2003-12-08  Zoltan Varga  <vargaz@freemail.hu>
+
+       * driver.c (mono_main): Call mono_verify_corlib.
+
 2003-12-07  Lluis Sanchez Gual  <lluis@ximian.com>
 
        * inssel.brg: In CEE_ISINST and CEE_CASTCLASS, removed check for proxy. 

diff --git a/mono/mini/driver.c b/mono/mini/driver.c
index bf0bbe6c7f0f40a4f3964672692895bdb3586613..8f2d842e3d07b8a70036983d9f8a146e6828ec2a 100644 (file)
--- a/mono/mini/driver.c
+++ b/mono/mini/driver.c
@@ -33,6 +33,7 @@
 #include <mono/metadata/profiler-private.h>
 #include <mono/metadata/mono-config.h>
 #include <mono/metadata/environment.h>
+#include <mono/metadata/verify.h>
 #include <mono/metadata/mono-debug.h>
 #include <mono/metadata/mono-debug-debugger.h>
 
@@ -725,9 +726,17 @@ mono_main (int argc, char* argv[])
                mono_debug_init_2 (assembly);
 
        if (mono_compile_aot || action == DO_EXEC) {
+               guint32 error;
+
                mono_config_parse (config_file);
                //mono_set_rootdir ();
 
+               error = mono_verify_corlib ();
+               if (error) {
+                       fprintf (stderr, "Corlib not in sync with this runtime: %s\n", error);
+                       exit (1);
+               }
+
                main_args.domain = domain;
                main_args.file = aname;         
                main_args.argc = argc - i;