X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fstdlib;h=2d4ce38d63fd50a5b4383190077d227fdfbdcddb;hb=b6a9d33ee89de0a0f7bf482449339e97cbbbdaef;hp=5254e86e36f26d6e9b23cf491f202ce66018e518;hpb=11dbc24bbfd94e0e8d36754fe17bb1fdeb58fe5e;p=pspp

diff --git a/modules/stdlib b/modules/stdlib
index 5254e86e36..2d4ce38d63 100644
--- a/modules/stdlib
+++ b/modules/stdlib
@@ -21,8 +21,8 @@ BUILT_SOURCES += stdlib.h
 stdlib.h: stdlib_.h
 	rm -f $@-t $@
 	{ echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */' && \
-	  sed -e 's|@''ABSOLUTE_STDLIB_H''@|$(ABSOLUTE_STDLIB_H)|g' \
-	      -e 's/@''HAVE_INCLUDE_NEXT''@/$(HAVE_INCLUDE_NEXT)/g' \
+	  sed -e 's/@''INCLUDE_NEXT''@/$(INCLUDE_NEXT)/g' \
+	      -e 's|@''NEXT_STDLIB_H''@|$(NEXT_STDLIB_H)|g' \
 	      -e 's|@''GNULIB_GETSUBOPT''@|$(GNULIB_GETSUBOPT)|g' \
 	      -e 's|@''GNULIB_MKDTEMP''@|$(GNULIB_MKDTEMP)|g' \
 	      -e 's|@''GNULIB_MKSTEMP''@|$(GNULIB_MKSTEMP)|g' \