From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 31 Aug 2004 05:12:41 +0000 (+0000)
Subject: Mark thread_start() NO_RETURN.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d1358c5e83a3f8676a5e0e3cbdda8373d0611251;p=pintos-anon

Mark thread_start() NO_RETURN.
---

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;