diff options
Diffstat (limited to 'docs/CommandGuide/opt.html')
| -rw-r--r-- | docs/CommandGuide/opt.html | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/CommandGuide/opt.html b/docs/CommandGuide/opt.html index 52b168393e..b75620706c 100644 --- a/docs/CommandGuide/opt.html +++ b/docs/CommandGuide/opt.html @@ -74,6 +74,14 @@ OPTIONS error. <p> + <li> -debug + <br> + If this is a debug build, this option will enable debug printouts from + passes which use the <tt>DEBUG</tt> macro. See the <a + href="../ProgrammersManual.html#DEBUG">Programmer's Manual</a> for more + information. + <p> +<!-- <li> -internalize-public-api-file <filename> <br> Preserve the symbol names listed in the file filename. @@ -83,6 +91,7 @@ OPTIONS <br> Perserve the symbol names specified. <p> +--> <li> -q <br> |