diff options
Diffstat (limited to 'tools')
| -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 *) |