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

diff --git a/lib/inttypes_.h b/lib/inttypes_.h
index fcf95b053c..be2bdabbac 100644
--- a/lib/inttypes_.h
+++ b/lib/inttypes_.h
@@ -21,7 +21,7 @@
    which in turn includes this file.  */
 #if ! defined INTTYPES_H || defined _GL_JUST_INCLUDE_ABSOLUTE_INTTYPES_H
 # if @HAVE_INTTYPES_H@
-#  if defined __DECC && __DECC_VER >= 60000000
+#  if @HAVE_INCLUDE_NEXT@
 #   include_next <inttypes.h>
 #  else
 #   include @ABSOLUTE_INTTYPES_H@