Index: src/v8utils.h |
=================================================================== |
--- src/v8utils.h (revision 6074) |
+++ src/v8utils.h (working copy) |
@@ -42,20 +42,28 @@ |
// so it works on MacOSX. |
#if defined(__MACH__) && defined(__APPLE__) |
#define PRINTF_CHECKING |
+#define FPRINTF_CHECKING |
#else // MacOsX. |
#define PRINTF_CHECKING __attribute__ ((format (printf, 1, 2))) |
+#define FPRINTF_CHECKING __attribute__ ((format (printf, 2, 3))) |
#endif |
#else |
#define PRINTF_CHECKING |
+#define FPRINTF_CHECKING |
#endif |
// Our version of printf(). |
void PRINTF_CHECKING PrintF(const char* format, ...); |
+void FPRINTF_CHECKING PrintF(FILE* out, const char* format, ...); |
// Our version of fflush. |
-void Flush(); |
+void Flush(FILE* out); |
+inline void Flush() { |
+ Flush(stdout); |
+} |
+ |
// Read a line of characters after printing the prompt to stdout. The resulting |
// char* needs to be disposed off with DeleteArray by the caller. |
char* ReadLine(const char* prompt); |