From 8ae283306efb068ecc1f363d3b356047855bd7a6 Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 29 Oct 2013 17:15:02 +0000
Subject: Revert the two last commits. My bad, I messed up git-svn commands...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16951 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 5da568800..0bcd44d0e 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 -allocation-tracing"
+        ocamloptexec^" -linkall"
     end else
       (* bytecode (we shunt ocamlmktop script which fails on win32) *)
       let ocamlmktoplib = if is_ocaml4
-- 
cgit v1.2.3