On Jun 2, 2009, at 23:54, Scott Haneda wrote: > Does -d suppress 'ui_msg'? I am working on a port, and I am not > getting ui_msg, though I have set one. It shouldn't be, though it's easy to miss ui_msg output amid the profusion of debug output.