From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 19 May 2006 20:42:24 +0000 (+0000)
Subject: Fix solution.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c6332756cab9a04ada8f26bcd22e1b8f37dd7cc3;p=pintos-anon

Fix solution.
---

diff --git a/solutions/p4.patch b/solutions/p4.patch
index 44c0c2c..4d8d44a 100644
--- a/solutions/p4.patch
+++ b/solutions/p4.patch
@@ -745,9 +745,9 @@ diff -u src/filesys/directory.h~ src/filesys/directory.h
 --- src/filesys/directory.h	2006-05-18 22:26:02.000000000 -0700
 +++ src/filesys/directory.h	2006-05-18 22:05:40.000000000 -0700
 @@ -12,6 +11,5 @@
- #define NAME_MAX 14
- 
  struct inode;
+ 
+ /* Opening and closing directories. */
 -bool dir_create (disk_sector_t sector, size_t entry_cnt);
  struct dir *dir_open (struct inode *);
  struct dir *dir_open_root (void);