« Previous | Next » 

Revision 84cc52ab

ID84cc52abad3ec3040b9ec4556742d118096d4a43

Added by Michael Hanselmann about 15 years ago

Flush stdout after printing a message during burnin.

Reviewed-by: iustinp

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences