From 9de2868feb8a742edbb89e58375ca8223c64b54d Mon Sep 17 00:00:00 2001
From: Flavio Cruz <flaviocruz@gmail.com>
Date: Mon, 4 Apr 2016 23:56:53 +0200
Subject: Include stdint.h in stub code by default.

* server.c: Include stdint.h in the header code.
* user.c: Likewise.
---
 server.c | 1 +
 user.c   | 1 +
 2 files changed, 2 insertions(+)

diff --git a/server.c b/server.c
index 1d10093..9634887 100644
--- a/server.c
+++ b/server.c
@@ -47,6 +47,7 @@ WriteIncludes(FILE *file)
     fprintf(file, "#include <mach/mig_support.h>\n");
     if (IsKernelServer)
 	fprintf(file, "#include <ipc/ipc_port.h>\n");
+    fprintf(file, "#include <stdint.h>\n");
     fprintf(file, "\n");
 }
 
diff --git a/user.c b/user.c
index 8cf04a0..7f355ed 100644
--- a/user.c
+++ b/user.c
@@ -92,6 +92,7 @@ WriteIncludes(FILE *file)
     fprintf(file, "#include <mach/msg_type.h>\n");
     if (IsKernelUser)
 	fprintf(file, "#include <kern/ipc_mig.h>\n");
+    fprintf(file, "#include <stdint.h>\n");
     fprintf(file, "\n");
 }
 
-- 
cgit v1.2.3