Get rid of file system "dump" operations because they weren't useful

[pintos-anon] / src / filesys / fsutil.h

diff --git a/src/filesys/fsutil.h b/src/filesys/fsutil.h
index 2d711e98db7df9e8e1b682c851b4e1f8d08efcee..307e37d1d1ce791638a245fd3915c52270d0837d 100644 (file)
--- a/src/filesys/fsutil.h
+++ b/src/filesys/fsutil.h
@@ -9,7 +9,6 @@ extern char *fsutil_copyout_file;
 extern char *fsutil_print_file;
 extern char *fsutil_remove_file;
 extern bool fsutil_list_files;
-extern bool fsutil_dump_filesys;
 
 void fsutil_run (void);
 void fsutil_print (const char *filename);