diff options
Diffstat (limited to 'utils/clflags.ml')
| -rw-r--r-- | utils/clflags.ml | 1 |
1 files changed, 1 insertions, 0 deletions
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 *) |