diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 1999-11-10 12:48:47 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 1999-11-10 12:48:47 +0000 |
| commit | 30b727ecb1915743a2fb0bb24a62506d0ee0f34c (patch) | |
| tree | e6ea8b37fd666a328ad919f30a1309706eb89332 | |
| parent | b28fc147bac072fcc422ab9128def2e909dde1b7 (diff) | |
Petits bugs dans dumpobj.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2518 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | tools/Makefile | 4 | ||||
| -rw-r--r-- | tools/dumpobj.ml | 6 |
2 files changed, 6 insertions, 4 deletions
diff --git a/tools/Makefile b/tools/Makefile index 77ef4f123..7867c4504 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -82,7 +82,9 @@ beforedepend:: cvt_emit.ml DUMPOBJ=opnames.cmo dumpobj.cmo dumpobj: $(DUMPOBJ) - $(CAMLC) $(LINKFLAGS) -o dumpobj misc.cmo tbl.cmo config.cmo ident.cmo opcodes.cmo $(DUMPOBJ) + $(CAMLC) $(LINKFLAGS) -o dumpobj \ + misc.cmo formatmsg.cmo tbl.cmo config.cmo ident.cmo \ + opcodes.cmo $(DUMPOBJ) clean:: rm -f dumpobj diff --git a/tools/dumpobj.ml b/tools/dumpobj.ml index 74b46c204..7c7aa43b4 100644 --- a/tools/dumpobj.ml +++ b/tools/dumpobj.ml @@ -56,8 +56,8 @@ let objfile = ref false (* true if dumping a .zo *) let print_float f = if String.contains f '.' - then printf "%s%s" f - else printf "%s.%s" f + then printf "%s" f + else printf "%s." f ;; let rec print_struct_const = function @@ -84,7 +84,7 @@ let rec print_struct_const = function end | Const_float_array a -> printf "[|"; - List.iter (fun f -> print_float f; printf "; ") a + List.iter (fun f -> print_float f; printf "; ") a; printf "|]" (* Print an obj *) |