X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fuser%2Fentry.c;h=a707c70ae8bfb075b0ef37f3b4100a0be1b26133;hb=b1a18e3872d52fcfe598b1e0e0d6698408960ce4;hp=4827b03ec065c8567ddf26f02442523f4e84fe01;hpb=bb5b2713877ccfb76a8b1dd1d64010682b1a5fc8;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));
 }