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

diff --git a/Smake b/Smake
index 83c583a3..4cbe44ec 100644
--- a/Smake
+++ b/Smake
@@ -8,6 +8,7 @@ GNULIB_MODULES = \
 	assert \
 	byteswap \
 	c-strcase \
+	c-strcasestr \
 	c-ctype \
 	c-strtod \
 	clean-temp \