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