diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1999-05-15 15:10:00 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1999-05-15 15:10:00 +0000 |
| commit | 253d2025aace6d6aca231dd24fd1adc6aad9cb0d (patch) | |
| tree | 33dccd530b7804432f08f95bf8e5ea989f9efbbe | |
| parent | e7a48b29adef9dd89a70724341e3f4dd4c4fa1e4 (diff) | |
Ajout de -dcombine
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2370 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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 *) |