X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finit.c;fp=src%2Fthreads%2Finit.c;h=589661619b056a2eb40643f2b746da5a9daff15e;hb=7a3dff52c8a44deeadd071ea93f19b9cee2a67fa;hp=f6a01dc67080688e44d3f45759c73745dcc75331;hpb=7fd56df9056d6442d52f23d3fb356010b988668d;p=pintos-anon

diff --git a/src/threads/init.c b/src/threads/init.c
index f6a01dc..5896616 100644
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -222,8 +222,6 @@ argv_init (void)
   for (i = 0; i < argc; i++)
     if (!strcmp (argv[i], "-rs")) 
       random_init (atoi (argv[++i]));
-    else if (!strcmp (argv[i], "-d")) 
-      debug_enable (argv[++i]);
     else if (!strcmp (argv[i], "-q"))
       power_off_when_done = true;
 #ifdef USERPROG
@@ -255,8 +253,7 @@ argv_init (void)
       {
         printf (
           "Kernel options:\n"
-          " -rs SEED            Seed random seed to SEED.\n"
-          " -d CLASS[,...]      Enable the given classes of debug messages.\n"
+          " -rs SEED            Set random seed to SEED.\n"
 #ifdef USERPROG
           " -ex 'PROG [ARG...]' Run PROG, passing the optional arguments.\n"
           " -ul USER_MAX        Limit user memory to USER_MAX pages.\n"