From 776a499245d7bb28bce9a55fa8d0b082801d66b4 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Tue, 29 Oct 2013 17:11:03 +0000
Subject: Printing heap on every processed sentence.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16949 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coqmktop.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/coqmktop.ml b/tools/coqmktop.ml
index 0bcd44d0eb..5da5688005 100644
--- a/tools/coqmktop.ml
+++ b/tools/coqmktop.ml
@@ -267,7 +267,7 @@ let main () =
       (* native code *)
       if !top then failwith "no custom toplevel in native code !";
       let ocamloptexec = Filename.quote (Filename.concat camlbin "ocamlopt") in
-        ocamloptexec^" -linkall"
+        ocamloptexec^" -linkall -allocation-tracing"
     end else
       (* bytecode (we shunt ocamlmktop script which fails on win32) *)
       let ocamlmktoplib = if is_ocaml4
-- 
cgit v1.2.3