When printing a directory tree, indicate explicitly if it's empty.

[pintos-anon] / solutions / p4.patch

diff --git a/solutions/p4.patch b/solutions/p4.patch
index fff8ca1cba1625519d1611ec845392aa75f42a41..5d0f19a83c16e55ac77a490254b5c8101768fed3 100644 (file)
--- a/solutions/p4.patch
+++ b/solutions/p4.patch
@@ -2236,9 +2236,9 @@ diff -u src/threads/thread.h~ src/threads/thread.h
 +    struct semaphore dead;              /* 1=child alive, 0=child dead. */
 +  };
 +
- void thread_init (void);
- void thread_start (void);
- 
+ /* If false (default), use round-robin scheduler.
+    If true, use multi-level feedback queue scheduler.
+    Controlled by kernel command-line options "-o mlfqs".
 Index: src/userprog/exception.c
 diff -u src/userprog/exception.c~ src/userprog/exception.c
 --- src/userprog/exception.c~