Hi,

This is the patch for http://sourceware.org/bugzilla/show_bug.cgi?id=15182
I agree with what Marc said in the bug report.

So this patch make dprintf not trigger pagination.

Please help me review it.

Thanks,
Hui

2013-04-18  Hui Zhu  <hui@codesourcery.com>

	PR gdb/15182

	* printcmd.c (printf_c_string): Add argument filter and handle it.
	(printf_wide_c_string): Ditto.
	(printf_decfloat): Ditto.
	(printf_pointer): Ditto.
	(ui_printf): Ditto.
	(printf_command): Update argument of ui_printf.
	(eval_command): Ditto.