X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Finit.c;h=4b7835800487b14c27d61a9b7cc5e2a2be7ca903;hp=589661619b056a2eb40643f2b746da5a9daff15e;hb=3c4ff7ffae2e6f05a2c78ec77814dbc5a98c4f98;hpb=9ee4a21c610d0eb8cbfa14ca9115c218259abcf3

diff --git a/src/threads/init.c b/src/threads/init.c
index 5896616..4b78358 100644
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -246,8 +246,6 @@ argv_init (void)
       fsutil_remove_file = argv[++i];
     else if (!strcmp (argv[i], "-ls"))
       fsutil_list_files = true;
-    else if (!strcmp (argv[i], "-D"))
-      fsutil_dump_filesys = true;
 #endif
     else if (!strcmp (argv[i], "-u"))
       {
@@ -267,7 +265,6 @@ argv_init (void)
           " -p FILENAME         Print the contents of FILENAME\n"
           " -r FILENAME         Delete FILENAME\n"
           " -ls                 List the files in the filesystem\n"
-          " -D                  Dump complete filesystem contents\n"
 #endif
           " -q                  Power off after doing requested actions.\n"
           " -u                  Print this help message and power off.\n"