Index: src/gdb-jit.cc |
diff --git a/src/gdb-jit.cc b/src/gdb-jit.cc |
index e8fb072d1bc8b95a81079f53cd10fd601bef3443..90937842500634254436ec4daa282c8b4d9189ce 100644 |
--- a/src/gdb-jit.cc |
+++ b/src/gdb-jit.cc |
@@ -1821,8 +1821,9 @@ extern "C" { |
#ifdef OBJECT_PRINT |
void __gdb_print_v8_object(Object* object) { |
- object->Print(); |
- PrintF(stdout, "\n"); |
+ OFStream os(stdout); |
+ object->Print(os); |
+ os << flush; |
} |
#endif |
} |