Try to really fix the slow buildbots this time.
Printing to stdout, doesn't mean the data was actually written. It depends on the buffering, so we need to flush. This will hopefully really fix the buildbots getting killed due to no output on the slow bots.
Showing
Please
register
or
sign in
to comment