| Index: runtime/bin/platform.h
|
| diff --git a/runtime/bin/platform.h b/runtime/bin/platform.h
|
| index 16be96035692f1d8484a38fd3a881ddd8ee33922..9579072ce12de9c2a4f546f5ece719d7a90151d1 100644
|
| --- a/runtime/bin/platform.h
|
| +++ b/runtime/bin/platform.h
|
| @@ -65,6 +65,9 @@ class Platform {
|
| static void PrintBlocking(FILE* file, const char* format, ...)
|
| PRINTF_ATTRIBUTE(2, 3);
|
|
|
| + // Perform platform-specific cleanups.
|
| + static void Cleanup();
|
| +
|
| private:
|
| static const char* executable_name_;
|
| static const char* package_root_;
|
|
|