From e841f7a51531e99681a7c411adff0892c251f65f Mon Sep 17 00:00:00 2001 From: "Edward Z. Yang" Date: Wed, 11 May 2011 22:31:58 +0100 Subject: [PATCH] Document -ddump-to-file. Signed-off-by: Edward Z. Yang --- docs/users_guide/debugging.xml | 5 +++-- 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 b84134a..9c48f7d 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 (lots of output) by using , or most of them with - . Some of the most useful ones - are: + . You can prevent them from clogging up + your standard output by passing . + Some of the most useful ones are: diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index 4a502b4..71790b0 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -2233,6 +2233,12 @@ phase n - + + Dump to files instead of stdout + dynamic + - + + Dump assembly dynamic -- 1.7.10.4