Redo and improve thread scheduling startup.

[pintos-anon] / src / threads / thread.h

diff --git a/src/threads/thread.h b/src/threads/thread.h
index 1dfde5ac9b03867f94a545f08cc2a7bb2ac83435..aab1a73902410757eac49b628ecf2e58670bc978 100644 (file)
--- a/src/threads/thread.h
+++ b/src/threads/thread.h
@@ -35,7 +35,7 @@ struct thread
   };
 
 void thread_init (void);
-void thread_start (void) NO_RETURN;
+void thread_start (void);
 
 typedef void thread_func (void *aux);
 struct thread *thread_create (const char *name, thread_func *, void *);