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