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

	PR gdb/15186

	* ax.c (ax_printf): Add fflush.