Make stdout unbuffered while filtering output.
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 30 May 2006 19:25:32 +0000 (19:25 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 30 May 2006 19:25:32 +0000 (19:25 +0000)
commitb8b8e75e8fa4cd398f0589c6ffa31b12ec87e977
treee12da0033d0d71a9e4e08348da2a70b7de77ac26
parent969652b66b7840049ad186d996abbb8b08b8a7b5
Make stdout unbuffered while filtering output.
src/utils/pintos