2016-07-08 12:38:18 +00:00
|
|
|
diff --git a/rpython/translator/platform/__init__.py b/rpython/translator/platform/__init__.py
|
|
|
|
index 051668b..6e59acc 100644
|
|
|
|
--- a/rpython/translator/platform/__init__.py
|
|
|
|
+++ b/rpython/translator/platform/__init__.py
|
|
|
|
@@ -140,6 +140,8 @@ class Platform(object):
|
2012-07-10 20:45:52 +00:00
|
|
|
self._handle_error(returncode, stdout, stderr, outname)
|
|
|
|
|
|
|
|
def _handle_error(self, returncode, stdout, stderr, outname):
|
|
|
|
+ for line in stdout.splitlines():
|
|
|
|
+ log.message(line)
|
|
|
|
if returncode != 0:
|
|
|
|
errorfile = outname.new(ext='errors')
|
|
|
|
errorfile.write(stderr, 'wb')
|