0
0
mirror of https://github.com/mongodb/mongo.git synced 2024-12-01 09:32:32 +01:00

Another makealldist.py tweak for buildbot.

This commit is contained in:
Richard Kreuter 2010-04-13 14:29:27 -04:00
parent 552fe0fc2c
commit ec00b8f650

View File

@ -144,7 +144,7 @@ def wait(procs, winfh, losefh, winners, losers):
# emit a blank line, so that the buildbot doesn't kill us off
# while waiting for output.
sys.stdout.write('.')
sys.stdout.flush
sys.stdout.flush()
try:
(pid, stat) = os.wait()
except OSError, err: