diff options
| author | jarcherNV <jarcher@nvidia.com> | 2025-06-26 20:06:37 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-06-27 03:06:37 +0000 |
| commit | c5295eae268f78c306c9401719bb4e06ba63ba16 (patch) | |
| tree | aa24bb581d9bd0f70006030c9c960dcf3adf2dfd /docs/stdlib-doc.md | |
| parent | b10319c1c513de8dd7a1d7cf5a45265589978654 (diff) | |
Move separate-debug-info arg to target options (#7540)
* Move separate-debug-info arg to target options
The separate-debug-info command line option is listed under debugging
options, move this to the target options section which includes other
similar flags like -g and -emit-spirv-directly.
* regenerate command line reference
---------
Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com>
Diffstat (limited to 'docs/stdlib-doc.md')
0 files changed, 0 insertions, 0 deletions