summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorSimon Marlow <marlowsd@gmail.com>2008-06-03 08:29:24 +0000
committerSimon Marlow <marlowsd@gmail.com>2008-06-03 08:29:24 +0000
commit667ef993b225a3a7d1163612f5ded7e5b69b4ad3 (patch)
tree02a1a3c5b2e4cc76327f881a2b78d7a16886460e /docs
parentb1455fa5f2ab61ff727f86094dbd4839717eb24e (diff)
downloadhaskell-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.xml18
-rw-r--r--docs/users_guide/flags.xml6
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>