X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fstdint;h=11254020735410631fc1ff1b621c2ee9ec05260b;hb=ab681e53f8100fdb144e0a100d6f2da9ff7c005f;hp=ab0738d6d53ac64ac2a8f712319fa1626bac1729;hpb=1875901e8d0bd6b30cbee33e223f1bebdaee9182;p=pspp

diff --git a/modules/stdint b/modules/stdint
index ab0738d6d5..1125402073 100644
--- a/modules/stdint
+++ b/modules/stdint
@@ -29,6 +29,7 @@ stdint.h: stdint_.h
 	{ echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */'; \
 	  sed -e 's/@''HAVE_STDINT_H''@/$(HAVE_STDINT_H)/g' \
 	      -e 's|@''ABSOLUTE_STDINT_H''@|$(ABSOLUTE_STDINT_H)|g' \
+	      -e 's/@''HAVE_INCLUDE_NEXT''@/$(HAVE_INCLUDE_NEXT)/g' \
 	      -e 's/@''HAVE_SYS_TYPES_H''@/$(HAVE_SYS_TYPES_H)/g' \
 	      -e 's/@''HAVE_INTTYPES_H''@/$(HAVE_INTTYPES_H)/g' \
 	      -e 's/@''HAVE_SYS_INTTYPES_H''@/$(HAVE_SYS_INTTYPES_H)/g' \