diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/command-line-slangc-reference.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/command-line-slangc-reference.md b/docs/command-line-slangc-reference.md index 91e3be5b5..b3cd2576a 100644 --- a/docs/command-line-slangc-reference.md +++ b/docs/command-line-slangc-reference.md @@ -650,6 +650,11 @@ Verify IR in the front-end. Disassemble and print the module IR. +<a id="separate-debug-info"></a> +### -separate-debug-info +Emit debug data to a separate file, and strip it from the main output file. + + <a id="Repro"></a> ## Repro |