X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilesys%2Ffsutil.c;fp=src%2Ffilesys%2Ffsutil.c;h=81466c2a66dfa008d7d3c1415a9211a392e733c5;hb=3c4ff7ffae2e6f05a2c78ec77814dbc5a98c4f98;hp=7756946587e26873a6cb5aa9f723eb91e39adfd4;hpb=9ee4a21c610d0eb8cbfa14ca9115c218259abcf3;p=pintos-anon

diff --git a/src/filesys/fsutil.c b/src/filesys/fsutil.c
index 7756946..81466c2 100644
--- a/src/filesys/fsutil.c
+++ b/src/filesys/fsutil.c
@@ -25,9 +25,6 @@ char *fsutil_remove_file;
 /* List all files in the filesystem to the system console? */
 bool fsutil_list_files;
 
-/* Dump full contents of filesystem to the system console? */
-bool fsutil_dump_filesys;
-
 /* Copies from the "scratch" disk, hdc or hd1:0,
    to a file named FILENAME in the filesystem.
    The file will be SIZE bytes in length. */
@@ -144,9 +141,6 @@ fsutil_run (void)
 
   if (fsutil_list_files)
     filesys_list ();
-
-  if (fsutil_dump_filesys)
-    filesys_dump ();
 }
 
 /* Prints the contents of file FILENAME to the system console as