flambda-backend: Temporarily disable architecture check (ocaml-flambd…

…a#2308)
lukemaurer · Feb 22, 2024 · e20ed87 · e20ed87
1 parent 496965b
commit e20ed87
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/runtime/startup_nat.c b/runtime/startup_nat.c
@@ -93,7 +93,9 @@ value caml_startup_common(char_os **argv, int pooling)
 
   /* Determine options */
   caml_parse_ocamlrunparam();
-  caml_assert_arch_extensions();
+
+  // CR mslater: re-enable architecture check
+  // caml_assert_arch_extensions();
 
 #ifdef DEBUG
   // Silenced in flambda-backend to make it easier to run tests that

diff --git a/runtime4/startup_nat.c b/runtime4/startup_nat.c
@@ -117,7 +117,10 @@ value caml_startup_common(char_os **argv, int pooling)
   caml_verb_gc = 0x3F;
 #endif
   caml_parse_ocamlrunparam();
-  caml_assert_arch_extensions();
+
+  // CR mslater: re-enable architecture check
+  // caml_assert_arch_extensions();
+
   CAML_EVENTLOG_INIT();
 #ifdef DEBUG
   caml_gc_message (-1, "### OCaml runtime: debug mode ###\n");