[gnu.bash.bug] flushing builtins

donn@MILTON.U.WASHINGTON.EDU (Donn Cave) (01/07/90)

Is there any reason why some builtins, e.g. echo, flush their output, and
others, e.g. type, do not?  I believe this is the distinction between those
that work dependably for me and those that do not.

			Donn Cave, UCS Software
			University of Washington
			donn@milton.u.washington.edu