Make rev-list flush the stdio buffers after each rev.