From d1358c5e83a3f8676a5e0e3cbdda8373d0611251 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Tue, 31 Aug 2004 05:12:41 +0000 Subject: [PATCH] Mark thread_start() NO_RETURN. --- src/threads/thread.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/threads/thread.h b/src/threads/thread.h index c011f70..efa3a02 100644 --- a/src/threads/thread.h +++ b/src/threads/thread.h @@ -39,7 +39,7 @@ struct thread *thread_current (void); bool thread_execute (const char *filename); #endif -void thread_start (struct thread *); +void thread_start (struct thread *) NO_RETURN; void thread_ready (struct thread *); void thread_exit (void) NO_RETURN; -- 2.30.2