X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Flib%2Fuser%2Fentry.c;h=a707c70ae8bfb075b0ef37f3b4100a0be1b26133;hb=8b71a0049bfb87fd254c1eb2c388a4bafcb5f04b;hp=4827b03ec065c8567ddf26f02442523f4e84fe01;hpb=f2f8875638593bd5365cfd6a5ba7c9578e52322f;p=pintos-anon

diff --git a/src/lib/user/entry.c b/src/lib/user/entry.c
index 4827b03..a707c70 100644
--- 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));
 }