From b0e406ba35be96b525c631f8d1899e5e9eeb0a91 Mon Sep 17 00:00:00 2001
From: Jasper Hugunin
Date: Sat, 7 Jul 2018 09:19:13 -0700
Subject: Output UTF-8 explicitly in timing tools

---
 tools/TimeFileMaker.py | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'tools/TimeFileMaker.py')

diff --git a/tools/TimeFileMaker.py b/tools/TimeFileMaker.py
index ad001012a3..b16888c7e1 100644
--- a/tools/TimeFileMaker.py
+++ b/tools/TimeFileMaker.py
@@ -1,6 +1,7 @@
 from __future__ import with_statement
 from __future__ import division
 from __future__ import unicode_literals
+from __future__ import print_function
 import os, sys, re
 from io import open
 
@@ -206,7 +207,11 @@ def make_table_string(times_dict,
 
 def print_or_write_table(table, files):
     if len(files) == 0 or '-' in files:
-        print(table)
+        try:
+            binary_stdout = sys.stdout.buffer
+        except AttributeError:
+            binary_stdout = sys.stdout
+        print(table.encode("utf-8"), file=binary_stdout)
     for file_name in files:
         if file_name != '-':
             with open(file_name, 'w', encoding="utf-8") as f:
-- 
cgit v1.2.3