Index: runtime/bin/platform.h |
diff --git a/runtime/bin/platform.h b/runtime/bin/platform.h |
index 3d3c0f3135c842a1b793b5017a0c556c94d1d69d..32473bba2d8874c95afd2de85f0441a7bd5773be 100644 |
--- a/runtime/bin/platform.h |
+++ b/runtime/bin/platform.h |
@@ -76,6 +76,8 @@ class Platform { |
return argv_; |
} |
+ static void Exit(int exit_code); |
+ |
private: |
// The path to the executable. |
static const char* executable_name_; |