don't set stack-size if not needed

ocsigen · Feb 3, 2025 · e6c9953 · e6c9953
1 parent a1a74af
commit e6c9953
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/tools/gen_node_wrapper_per_profile.ml b/tools/gen_node_wrapper_per_profile.ml
@@ -0,0 +1,12 @@
+let profile = Sys.argv.(1)
+
+let () =
+  match profile with
+  | "with-effects-double-translation" ->
+      (* We somehow need a larger stack with --effects=double-translation. *)
+      print_endline {|
+let args = [ "--stack-size=3000" ]
+|}
+  | _ -> print_endline {|
+let args = [ ]
+|}