Commit e57cc691 authored by Fred Drake's avatar Fred Drake

Make sure we always flush stdout before switch to stderr.

parent 1bb33eac
...@@ -143,8 +143,10 @@ def main(): ...@@ -143,8 +143,10 @@ def main():
errors = 1 errors = 1
if quiet: if quiet:
print sys.exc_type print sys.exc_type
sys.stdout.flush()
else: else:
print "Failed:" print "Failed:"
sys.stdout.flush()
traceback.print_exc() traceback.print_exc()
continue continue
head, tail = os.path.split(arg) head, tail = os.path.split(arg)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment