Add EXIT_FAILURE, EXIT_SUCCESS to syscall.h,

[pintos-anon] / src / examples / shell.c

diff --git a/src/examples/shell.c b/src/examples/shell.c
index 0aaafbb91c672454d139e498af792f4084e51feb..916d25267ac758a198fb4d299af7fa54edf5bfd4 100644 (file)
--- 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