Index: src/base/platform/platform.h |
diff --git a/src/base/platform/platform.h b/src/base/platform/platform.h |
index 1873bbe57d7bb96bcb31b2fe044b298ba9882de3..cc0b0e0d745b7892647af12d26349c64e08f1fb7 100644 |
--- a/src/base/platform/platform.h |
+++ b/src/base/platform/platform.h |
@@ -194,7 +194,7 @@ class OS { |
static void Sleep(const int milliseconds); |
// Abort the current process. |
- static void Abort(); |
+ V8_NORETURN static void Abort(); |
// Debug break. |
static void DebugBreak(); |