Index: src/v8utils.h |
diff --git a/src/v8utils.h b/src/v8utils.h |
index bb587e17332c4bbbe9248806097b36512009f2e0..38001e5f09e0acecd800c544cf22f83507d78e53 100644 |
--- a/src/v8utils.h |
+++ b/src/v8utils.h |
@@ -57,6 +57,9 @@ namespace internal { |
void PRINTF_CHECKING PrintF(const char* format, ...); |
void FPRINTF_CHECKING PrintF(FILE* out, const char* format, ...); |
+// Prepredings the current process ID to the output. |
+void PRINTF_CHECKING PrintPID(const char* format, ...); |
+ |
// Our version of fflush. |
void Flush(FILE* out); |