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

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,