diff options
| author | Miguel de Icaza <miguel@gnome.org> | 2018-04-11 16:42:29 +0300 |
|---|---|---|
| committer | Ludovic Henry <luhenry@microsoft.com> | 2018-04-11 16:42:29 +0300 |
| commit | 920267df91abcd7b79a45e81b634d7c107986b09 (patch) | |
| tree | 527bfa61668d37ee97d771a32549fdb2d61e5ec9 /man | |
| parent | ff0430bf3b675585ee6296d91d937ac57f667d60 (diff) | |
Allow the LLVM optimizer options to be passed on the command line. (#8025)
* Allow the LLVM opt flags to be provided in the command line
* Avoid leaking small string
Diffstat (limited to 'man')
| -rw-r--r-- | man/mono.1 | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/man/mono.1 b/man/mono.1 index c5c19f5274c..e91670d488b 100644 --- a/man/mono.1 +++ b/man/mono.1 @@ -214,6 +214,13 @@ and .I llvm options. This feature is experimental. .TP +.I llvmopts=[options] +Use this option to override the built-in set of flags passed to the +LLVM optimizer. The list of possible flags that can be passed can be +obtained by calling the bundled +.I opt +program that comes with Mono. +.TP .I llvm-outfile=[filename] Gives the path for the temporary LLVM bitcode file created during AOT. .I dedup |