From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 19 Sep 2004 07:05:59 +0000 (+0000)
Subject: Pass return code from main() to exit().
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=b1a18e3872d52fcfe598b1e0e0d6698408960ce4;p=pintos-anon

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

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));
 }