Added by Michael Hanselmann about 15 years ago
Flush stdout after printing a message during burnin.
Reviewed-by: iustinp
View differences