Revision 84cc52ab
ID | 84cc52abad3ec3040b9ec4556742d118096d4a43 |
Parent | 23103544 |
Child | 2ff95e62 |
Flush stdout after printing a message during burnin.
Reviewed-by: iustinp
Files
- added
- modified
- copied
- renamed
- deleted
ID | 84cc52abad3ec3040b9ec4556742d118096d4a43 |
Parent | 23103544 |
Child | 2ff95e62 |
Added by Michael Hanselmann over 16 years ago
Flush stdout after printing a message during burnin.
Reviewed-by: iustinp