aboutsummaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-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)