diff options
author | Simon Marlow <marlowsd@gmail.com> | 2008-06-03 08:29:24 +0000 |
---|---|---|
committer | Simon Marlow <marlowsd@gmail.com> | 2008-06-03 08:29:24 +0000 |
commit | 667ef993b225a3a7d1163612f5ded7e5b69b4ad3 (patch) | |
tree | 02a1a3c5b2e4cc76327f881a2b78d7a16886460e /docs | |
parent | b1455fa5f2ab61ff727f86094dbd4839717eb24e (diff) | |
download | haskell-667ef993b225a3a7d1163612f5ded7e5b69b4ad3.tar.gz |
New flag: -dno-debug-output
From the docs:
<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>
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> |