diff options
author | Flavio Cruz <flaviocruz@gmail.com> | 2016-04-04 23:57:41 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2016-04-05 00:05:50 +0200 |
commit | b028365c6b2d8d4eb2000e5c9a2abdd2c5523f1d (patch) | |
tree | 5271e7e972356f0bda97c5027d05b7f237411f2b | |
parent | bb69f8133cc13e49d000a6f92e6b4ed534ec5924 (diff) | |
download | gnumach-b028365c6b2d8d4eb2000e5c9a2abdd2c5523f1d.tar.gz gnumach-b028365c6b2d8d4eb2000e5c9a2abdd2c5523f1d.tar.bz2 gnumach-b028365c6b2d8d4eb2000e5c9a2abdd2c5523f1d.zip |
Fix bootstraping issues with stdint.h.
* include/mach/std_types.h: Do not include stdint.h.
* kern/rdxtree.h: Replace sys/types.h with stdint.h.
-rw-r--r-- | include/mach/std_types.h | 1 | ||||
-rw-r--r-- | kern/rdxtree.h | 2 |
2 files changed, 1 insertions, 2 deletions
diff --git a/include/mach/std_types.h b/include/mach/std_types.h index 553bd618..f78e236a 100644 --- a/include/mach/std_types.h +++ b/include/mach/std_types.h @@ -37,7 +37,6 @@ #include <mach/kern_return.h> #include <mach/port.h> #include <mach/machine/vm_types.h> -#include <stdint.h> typedef vm_offset_t pointer_t; typedef vm_offset_t vm_address_t; diff --git a/kern/rdxtree.h b/kern/rdxtree.h index 1f8456e0..9892d565 100644 --- a/kern/rdxtree.h +++ b/kern/rdxtree.h @@ -36,7 +36,7 @@ #define _RDXTREE_H #include <stddef.h> -#include <sys/types.h> +#include <stdint.h> /* * Initialize the node cache. |