From 6944f407c66df119aa5ee3ff34cbb20121fa9b07 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 25 Oct 2009 22:11:33 +0100
Subject: Fix warning during mach compilation

* user.c (WriteIncludes): Include <kern/ipc_mig.h> when building kernel
user.
---
 user.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'user.c')

diff --git a/user.c b/user.c
index 5e2cd06..cccaeec 100644
--- a/user.c
+++ b/user.c
@@ -90,6 +90,8 @@ WriteIncludes(FILE *file)
     fprintf(file, "#include <mach/mig_errors.h>\n");
     fprintf(file, "#include <mach/mig_support.h>\n");
     fprintf(file, "#include <mach/msg_type.h>\n");
+    if (IsKernelUser)
+	fprintf(file, "#include <kern/ipc_mig.h>\n");
     fprintf(file, "\n");
 }
 
-- 
cgit v1.2.3