X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fwchar;h=7a61c8472de165efb2271c4567cefb111b87f2f0;hb=ab681e53f8100fdb144e0a100d6f2da9ff7c005f;hp=8312e96bc258155114b527150634d4542a929ca5;hpb=1875901e8d0bd6b30cbee33e223f1bebdaee9182;p=pspp

diff --git a/modules/wchar b/modules/wchar
index 8312e96bc2..7a61c8472d 100644
--- a/modules/wchar
+++ b/modules/wchar
@@ -20,6 +20,7 @@ wchar.h: wchar_.h
 	rm -f $@-t $@
 	{ echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */'; \
 	  sed -e 's|@''ABSOLUTE_WCHAR_H''@|$(ABSOLUTE_WCHAR_H)|g' \
+	      -e 's/@''HAVE_INCLUDE_NEXT''@/$(HAVE_INCLUDE_NEXT)/g' \
 	    < $(srcdir)/wchar_.h; \
 	} > $@-t
 	mv $@-t $@