debug_reload output

[Jeffrey A Law]

  In message < 199710140839.KAA20719@lslsun17.epfl.ch >you write:
  > Hi,
  > 
  > I would like to be able to redirect the output of de debug_reload routine
  > to something else than stderr, e.g., the greg dump file...
  > 
  > So I'd like to suggest the following trivial patch be applied.
I think you want two functions.  One which accepts a stream parameter
and one which defaults to stderr.  Obviously, the one which defaults to
stderr can just call the one which accepts a stream parameter passing
"stderr" as the stream.

That way you can call the function from gdb without knowing what
stderr really is (since it's usually something gross like __iob[1].

jeff