1 files changed, 1 insertions, 1 deletions
diff --git a/debugger/eudb.c b/debugger/eudb.c
index e015e2e3..47d5d922 100644
--- a/debugger/eudb.c
+++ b/debugger/eudb.c
@@ -326,7 +326,7 @@ db_shutdown(int sig) {
 	printf("Shutting down...\n");
 }
 
-static void
+static void __attribute__((noreturn))
 die(int reason) {
 	int i = 0;