X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilesys%2Ffilesys.c;h=59212ca774f3cf64e3878d82a593216bf294101d;hb=f2d96774482503e6f5ddd23cab57cc8018c2fedd;hp=8bd39e80ff52ef82eaf1056117448373daf8b7fa;hpb=993c1d9f4452e2edd851f3175dfdf317f18bdb9f;p=pintos-anon

diff --git a/src/filesys/filesys.c b/src/filesys/filesys.c
index 8bd39e8..59212ca 100644
--- a/src/filesys/filesys.c
+++ b/src/filesys/filesys.c
@@ -131,6 +131,15 @@ filesys_init (bool format)
     PANIC ("can't open root dir file");
 }
 
+/* Shuts down the filesystem module, writing any unwritten data
+   to disk.
+   Currently there's nothing to do.  You'll need to add code here
+   when you implement write-behind caching. */
+void
+filesys_done (void) 
+{
+}
+
 /* Creates a file named NAME with the given INITIAL_SIZE.
    Returns true if successful, false otherwise.
    Fails if a file named NAME already exists,