fix the terminal width detection, Issue 1101

waflib/Logs.py

@@ -18,6 +18,7 @@ else:
 	class sync_stream(object):
 		def __init__(self, stream):
 			self.stream = stream
+			self.encoding = self.stream.encoding
 
 		def write(self, txt):
 			try:
@@ -27,6 +28,9 @@ else:
 			finally:
 				wlock.release()
 
+		def fileno(self):
+			return self.stream.fileno()
+
 		def flush(self):
 			self.stream.flush()