diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-10-14 16:00:25 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-10-14 16:00:25 +0200 |
commit | a60475a9fcef78a28ba5cd8496eabb98aa2e2e60 (patch) | |
tree | 6c394605627ec969d32fbaadf781f0ea785b0b51 /doc | |
parent | d88a7116afa51df41ba3495c9891959830497452 (diff) | |
download | compcert-a60475a9fcef78a28ba5cd8496eabb98aa2e2e60.tar.gz compcert-a60475a9fcef78a28ba5cd8496eabb98aa2e2e60.zip |
Update description for debugging options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ccomp.1 | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/doc/ccomp.1 b/doc/ccomp.1 index 78da8191..bf245541 100644 --- a/doc/ccomp.1 +++ b/doc/ccomp.1 @@ -218,9 +218,8 @@ Debugging Options Generate debugging information. . .TP -.B \-gdepth <n> -Control generation of debugging information (<n>=0: none, <n>=1: only-globals, <n>=2: globals and locals without locations, <n>=3: full). -The default level is 3 for full debugging information. +.BR \-g0 ", " \-g1 ", " \-g2 ", " \-g3 +Control generation of debugging information (0: none, 1: only globals, 2: globals and locals without locations, 3: full debug information). The default level is 3 for full debug information. . .SS Debugging Options (GNU Backend) @@ -229,7 +228,7 @@ Debugging Options (GNU Backend) .TP .B \-gdwarf-<n> For GNU backends select debug information in DWARF format version 2 or 3. -The default format is DWARF v2. +The default format is DWARF v3. . .SS Linking Options |