diff options
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/clflags.ml | 2 | ||||
| -rw-r--r-- | utils/clflags.mli | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml index f582a4655..e771fec5d 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -71,6 +71,7 @@ and dump_instr = ref false (* -dinstr *) let keep_asm_file = ref false (* -S *) let optimize_for_speed = ref true (* -compact *) +and opaque = ref false (* -opaque *) and dump_cmm = ref false (* -dcmm *) let dump_selection = ref false (* -dsel *) @@ -86,7 +87,6 @@ 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 *) let inline_threshold = ref 10 let force_slash = ref false (* for ocamldep *) diff --git a/utils/clflags.mli b/utils/clflags.mli index 5474157c3..97dca6f49 100644 --- a/utils/clflags.mli +++ b/utils/clflags.mli @@ -92,3 +92,4 @@ val runtime_variant : string ref val force_slash : bool ref val keep_locs : bool ref val unsafe_string : bool ref +val opaque : bool ref |