Pass return code from main() to exit().

[pintos-anon] / src / lib / user / entry.c

diff --git a/src/lib/user/entry.c b/src/lib/user/entry.c
index 4827b03ec065c8567ddf26f02442523f4e84fe01..a707c70ae8bfb075b0ef37f3b4100a0be1b26133 100644 (file)
--- a/src/lib/user/entry.c
+++ b/src/lib/user/entry.c
@@ -6,6 +6,5 @@ void _start (int argc, char *argv[]);
 void
 _start (int argc, char *argv[]) 
 {
-  main (argc, argv);
-  exit (0);
+  exit (main (argc, argv));
 }