| 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
|
|
|