diff options
author | Zoltan Varga <vargaz@gmail.com> | 2013-03-11 18:29:22 +0400 |
---|---|---|
committer | Zoltan Varga <vargaz@gmail.com> | 2013-03-11 18:29:33 +0400 |
commit | 1a441364a6c23a5a0976c555f695b0a46fd25b66 (patch) | |
tree | 1a4db76a626fd0182a9ddabf4299dc4048c50df8 /man | |
parent | 9e3e69451a75eab2969940b53aa81e1b4ee1fde1 (diff) |
Add a 'dwarfdebug' AOT option to emit DWARF debug info even if the 'nodebug' AOT option is used.
Diffstat (limited to 'man')
-rw-r--r-- | man/mono.1 | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/man/mono.1 b/man/mono.1 index 1c2e054aee1..1afc37ea670 100644 --- a/man/mono.1 +++ b/man/mono.1 @@ -144,6 +144,12 @@ Defaults to 128. .I nodebug Instructs the AOT compiler to not output any debugging information. .TP +.I dwarfdebug +Instructs the AOT compiler to emit DWARF debugging information. When +used together with the nodebug option, only DWARF debugging +information is emitted, but not the information that can be used at +runtime. +.TP .I nrgctx-trampolines=[number] When compiling in full aot mode, the generic sharing trampolines must be precreated in the AOT image. You can add additional method trampolines with this argument. |