X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fexamples%2Fshell.c;h=93641b45b8c3250ff3dd3582fc731668d34ebbe7;hb=3edcfedb8e62970f3293fa676b6691f8658c3c11;hp=0aaafbb91c672454d139e498af792f4084e51feb;hpb=a4613d70fb56b93216299f6253698ab0e4bbd46d;p=pintos-anon

diff --git a/src/examples/shell.c b/src/examples/shell.c
index 0aaafbb..93641b4 100644
--- a/src/examples/shell.c
+++ b/src/examples/shell.c
@@ -41,7 +41,7 @@ main (void)
     }
 
   printf ("Shell exiting.");
-  return 0;
+  return EXIT_SUCCESS;
 }
 
 /* Reads a line of input from the user into LINE, which has room
@@ -59,7 +59,7 @@ read_line (char line[], size_t size)
 
       switch (c) 
         {
-        case '\n':
+        case '\r':
           *pos = '\0';
           putchar ('\n');
           return;