Skip to content
Browse files

Removed the modification of the GC pressure coefficient, in order

to see if that really changes anything.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15958 85f007b7-540e-0410-9357-904b9bb8a0f7
  • Loading branch information...
1 parent b0b1710 commit d7f0d75164c4d48b5dc3a6773a8c25b58ca8db4d @ppedrot ppedrot committed Nov 12, 2012
Showing with 7 additions and 2 deletions.
  1. +7 −2 toplevel/coqtop.ml
View
9 toplevel/coqtop.ml
@@ -146,13 +146,18 @@ let set_vm_opt () =
*)
let init_gc () =
+ let param =
+ try ignore (Sys.getenv "OCAMLRUNPARAM"); true
+ with Not_found -> false
+ in
let control = Gc.get () in
let tweaked_control = { control with
Gc.minor_heap_size = 33554432; (** 4M *)
Gc.major_heap_increment = 268435456; (** 32M *)
- Gc.space_overhead = 120;
+(* Gc.space_overhead = 120; *)
} in
- Gc.set tweaked_control
+ if param then ()
+ else Gc.set tweaked_control
(*s Parsing of the command line.
We no longer use [Arg.parse], in order to use share [Usage.print_usage]

0 comments on commit d7f0d75

Please sign in to comment.
Something went wrong with that request. Please try again.