diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2010-05-19 11:29:38 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2010-05-19 11:29:38 +0000 |
| commit | 2adec7d7470c13917fabafc8b6a280341c817bb7 (patch) | |
| tree | ee67d5eb7f2bc516e401570fb852665e03b91a1f /Makefile.nt | |
| parent | fc2dea6d3d7df858e22b50694464fb3a8d56b141 (diff) | |
| download | ocaml-2adec7d7470c13917fabafc8b6a280341c817bb7.tar.gz | |
PR#5033: tools/objinfo made more general.
tools/dumpapprox removed, now subsumed by tools/objinfo.
Introduced asmcomp/cmx_format.mli and used consistently in asmcomp,
tools/objinfo, and otherlibs/dynlink
Note: ocamlbuild -based build procedure not updated yet.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10424 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'Makefile.nt')
| -rw-r--r-- | Makefile.nt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.nt b/Makefile.nt index 22028e6466..1dc328710d 100644 --- a/Makefile.nt +++ b/Makefile.nt @@ -551,9 +551,9 @@ clean:: # Tools -ocamltools: +ocamltools: asmcomp/cmx_format.cmi cd tools ; $(MAKEREC) all -ocamltoolsopt.opt: +ocamltoolsopt.opt: asmcomp/cmx_format.cmi cd tools ; $(MAKEREC) opt.opt partialclean:: cd tools ; $(MAKEREC) clean |