diff options
| -rw-r--r-- | driver/optmain.ml | 1 | ||||
| -rw-r--r-- | utils/clflags.ml | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/driver/optmain.ml b/driver/optmain.ml index fbebccee2..53be3e3ee 100644 --- a/driver/optmain.ml +++ b/driver/optmain.ml @@ -117,6 +117,7 @@ let main () = "-dlambda", Arg.Set dump_lambda, " (undocumented)"; "-dcmm", Arg.Set dump_cmm, " (undocumented)"; "-dsel", Arg.Set dump_selection, " (undocumented)"; + "-dcombine", Arg.Set dump_combine, " (undocumented)"; "-dlive", Arg.Unit(fun () -> dump_live := true; Printmach.print_live := true), " (undocumented)"; diff --git a/utils/clflags.ml b/utils/clflags.ml index a2d06fb70..debe6d36d 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -59,6 +59,7 @@ let dump_reload = ref false (* -dreload *) let dump_scheduling = ref false (* -dscheduling *) let dump_linear = ref false (* -dlinear *) let keep_startup_file = ref false (* -dstartup *) +let dump_combine = ref false (* -dcombine *) let native_code = ref false (* set to true under ocamlopt *) |