From: Ben Pfaff <blp@cs.stanford.edu>
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); 
 +    }
 +