summaryrefslogtreecommitdiff
path: root/Makefile.Mac
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2000-11-07 13:18:20 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2000-11-07 13:18:20 +0000
commitb0e043eb2de05f2c546cb9c0051582777f1869fe (patch)
treefea7c9787d5fb91aaee9c78ae280e69534af2c7f /Makefile.Mac
parent9a9af71842bc76459331e82360b68763c025663e (diff)
downloadocaml-b0e043eb2de05f2c546cb9c0051582777f1869fe.tar.gz
Re-faire marcher la trace (PR#213)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'Makefile.Mac')
-rw-r--r--Makefile.Mac3
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile.Mac b/Makefile.Mac
index d43c1dd281..659588d576 100644
--- a/Makefile.Mac
+++ b/Makefile.Mac
@@ -66,8 +66,7 @@ DRIVER = :driver:errors.cmo :driver:compile.cmo :driver:main_args.cmo ¶
:driver:main.cmo
TOPLEVEL = :driver:errors.cmo :driver:compile.cmo ¶
- :toplevel:genprintval.cmo ¶
- :toplevel:printval.cmo :toplevel:toploop.cmo ¶
+ :toplevel:genprintval.cmo :toplevel:toploop.cmo ¶
:toplevel:trace.cmo :toplevel:topdirs.cmo
TOPLEVELMAIN = :toplevel:topmain.cmo