diff options
| author | Mark Shinwell <mshinwell@gmail.com> | 2016-02-08 14:05:38 +0100 |
|---|---|---|
| committer | Mark Shinwell <mshinwell@gmail.com> | 2016-02-09 09:59:26 +0100 |
| commit | a3975110317da9b47b018f60fdb57236e8db9f12 (patch) | |
| tree | 55b067c9c19f128a35fc6d5a89228255855ae646 /driver/optmain.ml | |
| parent | ec190a03a3e33acee42aea7f27a931ff70d3216f (diff) | |
| download | ocaml-a3975110317da9b47b018f60fdb57236e8db9f12.tar.gz | |
Import latest Flambda changes
Diffstat (limited to 'driver/optmain.ml')
| -rw-r--r-- | driver/optmain.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/driver/optmain.ml b/driver/optmain.ml index 22f09ca81b..1ce42c9e77 100644 --- a/driver/optmain.ml +++ b/driver/optmain.ml @@ -154,9 +154,10 @@ module Options = Main_args.Make_optcomp_options (struct let _noassert = set noassert let _noautolink = set no_auto_link let _nodynlink = clear dlcode - let _no_inline_recursive_functions = clear inline_recursive_functions let _nolabels = set classic let _nostdlib = set no_std_include + let _no_unbox_free_vars_of_closures = clear unbox_free_vars_of_closures + let _no_unbox_specialised_args = clear unbox_specialised_args let _o s = output_name := Some s (* CR mshinwell: should stop e.g. -O2 -classic-inlining lgesbert: could be done in main() below, like for -pack and -c, but that |