diff options
Diffstat (limited to 'docs/users_guide')
| -rw-r--r-- | docs/users_guide/debugging.xml | 5 | ||||
| -rw-r--r-- | docs/users_guide/flags.xml | 6 |
2 files changed, 9 insertions, 2 deletions
diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml index b84134ad13..9c48f7d96e 100644 --- a/docs/users_guide/debugging.xml +++ b/docs/users_guide/debugging.xml @@ -24,8 +24,9 @@ a short form…). You can get all of these at once (<emphasis>lots</emphasis> of output) by using <option>-v5</option>, or most of them with - <option>-v4</option>. Some of the most useful ones - are:</para> + <option>-v4</option>. You can prevent them from clogging up + your standard output by passing <option>-ddump-to-file</option>. + Some of the most useful ones are:</para> <variablelist> <varlistentry> diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 96dfc1bb29..0faefbb438 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -2247,6 +2247,12 @@ phase <replaceable>n</replaceable></entry> <entry>-</entry> </row> <row> + <entry><option>-ddump-to-file</option></entry> + <entry>Dump to files instead of stdout</entry> + <entry>dynamic</entry> + <entry>-</entry> + </row> + <row> <entry><option>-ddump-asm</option></entry> <entry>Dump assembly</entry> <entry>dynamic</entry> |