diff options
author | Damien Miller <djm@mindrot.org> | 2015-02-24 09:04:32 +1100 |
---|---|---|
committer | Damien Miller <djm@mindrot.org> | 2015-02-24 09:04:32 +1100 |
commit | 9af21979c00652029e160295e988dea40758ece2 (patch) | |
tree | 7f869b75a0d9c60c8b6ba0804e378ced4ddaa11f /monitor_mm.c | |
parent | 62f678dd51660d6f8aee1da33d3222c5de10a89e (diff) |
don't include stdint.h unless HAVE_STDINT_H set
Diffstat (limited to 'monitor_mm.c')
-rw-r--r-- | monitor_mm.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/monitor_mm.c b/monitor_mm.c index 50731527c..aa47b2ed5 100644 --- a/monitor_mm.c +++ b/monitor_mm.c | |||
@@ -35,7 +35,9 @@ | |||
35 | #include <errno.h> | 35 | #include <errno.h> |
36 | #include <stdarg.h> | 36 | #include <stdarg.h> |
37 | #include <stddef.h> | 37 | #include <stddef.h> |
38 | #ifdef HAVE_STDINT_H | ||
38 | #include <stdint.h> | 39 | #include <stdint.h> |
40 | #endif | ||
39 | #include <stdlib.h> | 41 | #include <stdlib.h> |
40 | #include <string.h> | 42 | #include <string.h> |
41 | 43 | ||