From cf1c1aca2779d72b2f9690034f9ee1fb56cf67cf Mon Sep 17 00:00:00 2001
From: Jeff Dike <jdike@addtoit.com>
Date: Mon, 27 Mar 2006 01:14:29 -0800
Subject: [PATCH] --- yaml --- r: 24227 b: refs/heads/master c:
 c90e12b86595dbd9996336ac9d762487c638d934 h: refs/heads/master i:   24225:
 38babffd72b4bdf74b8ad93e0b052b53decbd219   24223:
 55326a7d6496d47a75726f91281428a7df98b5ea v: v3

---
 [refs]                       | 2 +-
 trunk/arch/um/include/kern.h | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/[refs] b/[refs]
index 83e9b8f8c009..679265964110 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: bb83da053319e81906473bec08e8f677d6ac615f
+refs/heads/master: c90e12b86595dbd9996336ac9d762487c638d934
diff --git a/trunk/arch/um/include/kern.h b/trunk/arch/um/include/kern.h
index 7d223beccbc0..4ce3fc650e57 100644
--- a/trunk/arch/um/include/kern.h
+++ b/trunk/arch/um/include/kern.h
@@ -29,7 +29,7 @@ extern int getuid(void);
 extern int getgid(void);
 extern int pause(void);
 extern int write(int, const void *, int);
-extern int exit(int);
+extern void exit(int);
 extern int close(int);
 extern int read(unsigned int, char *, int);
 extern int pipe(int *);