diff options
| author | Maxime Dénès | 2020-02-27 11:25:18 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2020-02-27 11:25:18 +0100 |
| commit | c160fc0da9bef60c4ee469cc2c35afd83fc16243 (patch) | |
| tree | 13714583d99546e125bf31d4347d08e8ea3838c1 /toplevel/usage.ml | |
| parent | f97cb743386744e9da3ede4b6cf8c803c2f58fde (diff) | |
| parent | d8ee64ace969287dbec6ba2777c08f19a25cab26 (diff) | |
Merge PR #11581: [native compiler] Add options to set object directories.
Reviewed-by: gares
Reviewed-by: maximedenes
Diffstat (limited to 'toplevel/usage.ml')
| -rw-r--r-- | toplevel/usage.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/toplevel/usage.ml b/toplevel/usage.ml index ba3deeb2f6..c7e1d607f4 100644 --- a/toplevel/usage.ml +++ b/toplevel/usage.ml @@ -94,6 +94,8 @@ let print_usage_common co command = \n for full Gc stats dump)\ \n -bytecode-compiler (yes|no) enable the vm_compute reduction machine\ \n -native-compiler (yes|no|ondemand) enable the native_compute reduction machine\ +\n -native-output-dir <directory> set the output directory for native objects\ +\n -nI dir OCaml include directories for the native compiler (default if not set) \ \n -h, -help, --help print this list of options\ \n" |