From d7f0d75164c4d48b5dc3a6773a8c25b58ca8db4d Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Mon, 12 Nov 2012 13:23:26 +0000
Subject: 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
---
 toplevel/coqtop.ml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml
index dc131a1a5a..84fca99333 100644
--- a/toplevel/coqtop.ml
+++ b/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]
-- 
cgit v1.2.3