X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fmkdtemp.c;h=3228f0557655a6dbec4924326391adf57dfb6e16;hb=569a7c62fc0172aec5d994e3db1c4d0bec5802f7;hp=8bc04121ddf0f7a35f2416968056d114eafa31b3;hpb=3fb0af8e37a8408f7104a404447d7f0582704242;p=pspp

diff --git a/lib/mkdtemp.c b/lib/mkdtemp.c
index 8bc04121dd..3228f05576 100644
--- a/lib/mkdtemp.c
+++ b/lib/mkdtemp.c
@@ -30,6 +30,7 @@
 #endif
 
 #include <stddef.h>
+#include <stdint.h>
 #include <stdlib.h>
 #include <string.h>
 
@@ -38,13 +39,6 @@
 # define TMP_MAX 238328
 #endif
 
-#if HAVE_STDINT_H || _LIBC
-# include <stdint.h>
-#endif
-#if HAVE_INTTYPES_H
-# include <inttypes.h>
-#endif
-
 #include <unistd.h>
 
 #if HAVE_GETTIMEOFDAY || _LIBC