From: Ben Pfaff Date: Fri, 8 Oct 2004 05:34:44 +0000 (+0000) Subject: Remove unneeded list_remove(). X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=74411dcc7652a3e8a05e0e04ae4add50c28dbe22;p=pintos-anon Remove unneeded list_remove(). --- diff --git a/solutions/p1-2.patch b/solutions/p1-2.patch index a5e743f..b7e9c79 100644 --- a/solutions/p1-2.patch +++ b/solutions/p1-2.patch @@ -76,7 +76,7 @@ diff -X pat -urpN pintos.orig/src/threads/thread.c pintos/src/threads/thread.c /* Stack frame for kernel_thread(). */ kf = alloc_frame (t, sizeof *kf); -@@ -224,16 +226,34 @@ thread_tid (void) +@@ -224,16 +226,33 @@ thread_tid (void) void thread_exit (void) { @@ -97,7 +97,6 @@ diff -X pat -urpN pintos.orig/src/threads/thread.c pintos/src/threads/thread.c + e = list_next (e)) + { + struct thread *child = list_entry (e, struct thread, children_elem); -+ list_remove (e); + sema_up (&child->can_die); + } +