diff options
author | Jack Lloyd <[email protected]> | 2017-08-25 12:09:03 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2017-08-25 17:36:51 -0400 |
commit | c618a1beb5cf7fe5582c467b35adc5e0e679b941 (patch) | |
tree | 28494c3d346d107d4da141b5213fc5839e8f968b | |
parent | 9517d460a7b5281b7fdb40488db60795b41ccbd3 (diff) |
Flush stdout for CI
-rwxr-xr-x | src/scripts/test_fuzzers.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/scripts/test_fuzzers.py b/src/scripts/test_fuzzers.py index 5b5fbc5a8..9b813f013 100755 --- a/src/scripts/test_fuzzers.py +++ b/src/scripts/test_fuzzers.py @@ -119,6 +119,7 @@ def main(args=None): stderr_count += 1 print("Tested fuzzer %s with %d test cases, %d crashes" % (f, tests_for_this_fuzzer, crash_count)) + sys.stdout.flush() if crash_count > 0 or stderr_count > 0 or stdout_count > 0: print("Ran fuzzer tests, %d crashes %d stdout %d stderr" % (crash_count, stdout_count, stderr_count)) |