X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fexamples%2Fshell.c;h=93641b45b8c3250ff3dd3582fc731668d34ebbe7;hb=253a082737f2cb56bbbef10263c5600eda1c4645;hp=0aaafbb91c672454d139e498af792f4084e51feb;hpb=550e44853cf80d69ae5edf8c2d3b583e8d37dbd8;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;