Index: src/platform.h |
diff --git a/src/platform.h b/src/platform.h |
index 31b7bdfd36d2c270265ed095f9e5374a0a0685b8..d82dea191948892c1635d9ebd3f5dd14c8809738 100644 |
--- a/src/platform.h |
+++ b/src/platform.h |
@@ -151,7 +151,7 @@ class OS { |
public: |
// Initializes the platform OS support that depend on CPU features. This is |
// called after CPU initialization. |
- static void PostSetUp(); |
+ static void PostSetUp(bool serializer_enabled); |
// Returns the accumulated user time for thread. This routine |
// can be used for profiling. The implementation should |