Index: third_party/re2/util/logging.h |
diff --git a/third_party/re2/util/logging.h b/third_party/re2/util/logging.h |
index 7302ea691fa5daa13af922c4b28b51471a146f33..4478f9b219b44eb4d74ed0d3acbacc9b3caa5eec 100644 |
--- a/third_party/re2/util/logging.h |
+++ b/third_party/re2/util/logging.h |
@@ -59,7 +59,11 @@ class LogMessage { |
void Flush() { |
stream() << "\n"; |
string s = str_.str(); |
+#ifdef WIN32 |
+ write(2, s.data(), static_cast<unsigned int>(s.size())); |
scottmg
2013/01/09 22:28:34
io.h's write only takes unsigned int.
|
+#else |
if(write(2, s.data(), s.size()) < 0) {} // shut up gcc |
+#endif |
flushed_ = true; |
} |
~LogMessage() { |