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

diff --git a/modules/search b/modules/search
index f58fc59a51..0ed8b8da48 100644
--- a/modules/search
+++ b/modules/search
@@ -21,6 +21,7 @@ search.h: search_.h
 	rm -f $@-t $@
 	{ echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */' && \
 	  sed -e 's|@''HAVE_SEARCH_H''@|$(HAVE_SEARCH_H)|g' \
+	      -e 's/@''HAVE_INCLUDE_NEXT''@/$(HAVE_INCLUDE_NEXT)/g' \
 	      -e 's|@''ABSOLUTE_SEARCH_H''@|$(ABSOLUTE_SEARCH_H)|g' \
 	      -e 's|@''GNULIB_TSEARCH''@|$(GNULIB_TSEARCH)|g' \
 	      -e 's|@''HAVE_TSEARCH''@|$(HAVE_TSEARCH)|g' \