diff options
author | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-10-29 17:15:02 +0000 |
---|---|---|
committer | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-10-29 17:15:02 +0000 |
commit | 8ae283306efb068ecc1f363d3b356047855bd7a6 (patch) | |
tree | 765e7d1798e4c0b5a334aaad682c34410a603d08 /tools | |
parent | a4cfaa49b5bac5cf437403ec021fcd7325fc1554 (diff) |
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
Diffstat (limited to 'tools')
-rw-r--r-- | tools/coqmktop.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |