Index: src/utils.cc |
=================================================================== |
--- src/utils.cc (revision 6074) |
+++ src/utils.cc (working copy) |
@@ -45,11 +45,19 @@ |
} |
-void Flush() { |
- fflush(stdout); |
+void PrintF(FILE* out, const char* format, ...) { |
+ va_list arguments; |
+ va_start(arguments, format); |
+ OS::VFPrint(out, format, arguments); |
+ va_end(arguments); |
} |
+void Flush(FILE* out) { |
+ fflush(out); |
+} |
+ |
+ |
char* ReadLine(const char* prompt) { |
char* result = NULL; |
char line_buf[256]; |