aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-07-28 15:22:21 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2015-07-28 15:22:21 -0700
commit8ecdcf60123cdc8c80995de94214a4aa7aa1afb7 (patch)
treef7a4ce60d86f7432f2b15af4eca60616e1736d7b
parentf781e9379efe10c278154f82d85bd3cbf0ffed0d (diff)
Another encoding fix in makespec.py.
-rwxr-xr-xtools/makespec.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/makespec.py b/tools/makespec.py
index 38c7d3b..d182105 100755
--- a/tools/makespec.py
+++ b/tools/makespec.py
@@ -167,7 +167,7 @@ elif specformat == "html":
else:
err("Error converting markdown version of spec:\n")
- err(err_out)
+ sys.stderr.buffer.write(err_out)
exit(1)
exit(0)