diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/debugging.xml | 18 | ||||
| -rw-r--r-- | docs/users_guide/flags.xml | 6 |
2 files changed, 17 insertions, 7 deletions
diff --git a/docs/users_guide/debugging.xml b/docs/users_guide/debugging.xml index 638ab7a4b5..e00cd8fa4e 100644 --- a/docs/users_guide/debugging.xml +++ b/docs/users_guide/debugging.xml @@ -435,14 +435,18 @@ </varlistentry> <varlistentry> - <term> - <option>-dshow-unused-imports</option> - <indexterm><primary><option>-dshow-unused-imports</option></primary></indexterm> + <term> + <option>-dno-debug-output</option> + <indexterm><primary><option>-dno-debug-output</option></primary></indexterm> </term> - <listitem> - <para>Have the renamer report what imports does not - contribute.</para> - </listitem> + <listitem> + <para>Suppress any unsolicited debugging output. When GHC + has been built with the <literal>DEBUG</literal> option it + occasionally emits debug output of interest to developers. + The extra output can confuse the testing framework and + cause bogus test failures, so this flag is provided to + turn it off.</para> + </listitem> </varlistentry> </variablelist> </sect2> diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 7de1ae8e86..9b1e272d9b 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -2214,6 +2214,12 @@ <entry>-</entry> </row> <row> + <entry><option>-dno-debug-output</option></entry> + <entry>Suppress unsolicited debugging output</entry> + <entry>static</entry> + <entry>-</entry> + </row> + <row> <entry><option>-dppr-debug</option></entry> <entry>Turn on debug printing (more verbose)</entry> <entry>static</entry> |