diff options
Diffstat (limited to 'docs/users_guide/debug-info.rst')
-rw-r--r-- | docs/users_guide/debug-info.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/users_guide/debug-info.rst b/docs/users_guide/debug-info.rst index 6a34431c84..558da594a0 100644 --- a/docs/users_guide/debug-info.rst +++ b/docs/users_guide/debug-info.rst @@ -7,6 +7,11 @@ useable by most UNIX debugging tools. .. ghc-flag:: -g -g⟨n⟩ + :shortdesc: Produce DWARF debug information in compiled object files. + ⟨n⟩ can be 0, 1, or 2, with higher numbers producing richer + output. If ⟨n⟩ is omitted level 2 is assumed. + :type: dynamic + :category: debugging :since: 7.10, numeric levels since 8.0 |