X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Finit.c;h=8d354d43fdda51c5f9fbe2b0177f84b2e526f9f8;hp=60114bad8dcef89c58f345ceebf72b928541efb9;hb=f09512e71e50d7be09249e7b87b270906ed8e499;hpb=de2a7ac56d2440fb64b7a95f8cc4275429b9686a diff --git a/src/threads/init.c b/src/threads/init.c index 60114ba..8d354d4 100644 --- a/src/threads/init.c +++ b/src/threads/init.c @@ -237,9 +237,9 @@ argv_init (void) " -ex 'PROG [ARG...]' Run PROG, passing the optional arguments.\n" #endif #ifdef FILESYS - " -f Format the filesystem disk (hdb or ide0:1).\n" + " -f Format the filesystem disk (hdb or hd0:1).\n" " -cp FILENAME:SIZE Copy SIZE bytes from the scratch disk (hdc\n" - " ide1:0) into the filesystem as FILENAME\n" + " or hd1:0) into the filesystem as FILENAME\n" " -p FILENAME Print the contents of FILENAME\n" " -r FILENAME Delete FILENAME\n" " -ls List the files in the filesystem\n"