diff options
Diffstat (limited to 'src/3rdparty/v8/src/v8utils.h')
-rw-r--r-- | src/3rdparty/v8/src/v8utils.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/3rdparty/v8/src/v8utils.h b/src/3rdparty/v8/src/v8utils.h index bb587e1..cb018e6 100644 --- a/src/3rdparty/v8/src/v8utils.h +++ b/src/3rdparty/v8/src/v8utils.h @@ -55,7 +55,10 @@ namespace internal { // Our version of printf(). void PRINTF_CHECKING PrintF(const char* format, ...); -void FPRINTF_CHECKING PrintF(FILE* out, const char* format, ...); +void FPRINTF_CHECKING FPrintF(FILE* out, const char* format, ...); + +// Prepends the current process ID to the output. +void PRINTF_CHECKING PrintPID(const char* format, ...); // Our version of fflush. void Flush(FILE* out); |