Index: src/platform.h |
diff --git a/src/platform.h b/src/platform.h |
index 2b6f2865bd5dedda68d5b1282d0b9b33367e858e..588c60bc3f4d77c09c99242d571d4557443163d4 100644 |
--- a/src/platform.h |
+++ b/src/platform.h |
@@ -173,7 +173,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 |