X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=4cbe44ece9a3060f9549b2fe7e345591b5f48623;hb=4233ff9b1569035a8b748b3695cb865e6412e5b2;hp=6ab0bd4b386814139a83a7e99afff77a5cb537b3;hpb=c0f3fdc3a77295731aae589a0e3d9f5c60bf35ad;p=pspp-builds.git

diff --git a/Smake b/Smake
index 6ab0bd4b..4cbe44ec 100644
--- a/Smake
+++ b/Smake
@@ -8,6 +8,7 @@ GNULIB_MODULES = \
 	assert \
 	byteswap \
 	c-strcase \
+	c-strcasestr \
 	c-ctype \
 	c-strtod \
 	clean-temp \
@@ -34,6 +35,7 @@ GNULIB_MODULES = \
 	gettimeofday \
         getopt-gnu \
 	gitlog-to-changelog \
+	include_next \
 	isfinite \
 	isinf \
 	isnan \