X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fexamples%2Fshell.c;h=916d25267ac758a198fb4d299af7fa54edf5bfd4;hb=0db48366884f3d6418217b926c4febc1bc2a3c13;hp=0aaafbb91c672454d139e498af792f4084e51feb;hpb=bfc9e18a6723b2315ef521282a8b42119338ece9;p=pintos-anon

diff --git a/src/examples/shell.c b/src/examples/shell.c
index 0aaafbb..916d252 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