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