Index: src/base/platform/platform.h |
diff --git a/src/base/platform/platform.h b/src/base/platform/platform.h |
index b96a207f708e3cca71aa5b2ad4104c1782319d8f..89d6225edebbde229917383aae280cb0196d5fc8 100644 |
--- a/src/base/platform/platform.h |
+++ b/src/base/platform/platform.h |
@@ -194,7 +194,7 @@ class OS { |
static void Sleep(TimeDelta interval); |
// Abort the current process. |
- static void Abort(); |
+ V8_NORETURN static void Abort(); |
// Debug break. |
static void DebugBreak(); |