Get rid of THREAD_JOIN_IMPLEMENTED by adding thread_join() stub.

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

diff --git a/src/threads/thread.h b/src/threads/thread.h
index 6fcbfc75fe49647a359b4eb56e927375ca694164..af1f16d662e48b7da501a9999b3cc1d0de689e78 100644 (file)
--- a/src/threads/thread.h
+++ b/src/threads/thread.h
@@ -119,10 +119,8 @@ const char *thread_name (void);
 void thread_exit (void) NO_RETURN;
 void thread_yield (void);
 
-/* This function will be implemented in problem 1-2. */
 void thread_join (tid_t);
 
-/* These functions will be implemented in problem 1-3. */
 void thread_set_priority (int);
 int thread_get_priority (void);