X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fstdint_.h;h=f32b8dc882abf2324b7230e628d691fa3d6a9827;hb=ab681e53f8100fdb144e0a100d6f2da9ff7c005f;hp=4fa52516d7bc3a2460253b8b39ebcc3e6b2775d5;hpb=1875901e8d0bd6b30cbee33e223f1bebdaee9182;p=pspp

diff --git a/lib/stdint_.h b/lib/stdint_.h
index 4fa52516d7..f32b8dc882 100644
--- a/lib/stdint_.h
+++ b/lib/stdint_.h
@@ -43,7 +43,11 @@
      Include it before <inttypes.h>, since any "#include <stdint.h>"
      in <inttypes.h> would reinclude us, skipping our contents because
      _GL_STDINT_H is defined.  */
-# include @ABSOLUTE_STDINT_H@
+# if @HAVE_INCLUDE_NEXT@
+#  include_next <stdint.h>
+# else
+#  include @ABSOLUTE_STDINT_H@
+# endif
 #endif
 
 /* <sys/types.h> defines some of the stdint.h types as well, on glibc,