On Mon, Mar 19, 2007 at 06:21:17AM +0200, Eli Zaretskii wrote: > Sounds rather unclean to me, but if no one else cares, I won't insist. Yes, this should be cleaned up some day - but no need to do it today. gdbreplay is not much used at all. -- Daniel Jacobowitz CodeSourcery