X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=Smake;h=d061973d12a1271476b40cee9cb4de70463dcce6;hb=a3a1e6b575eb7cbe4e7d89ea67d35b18c8ef5055;hp=1e54533169d49dce7924720ff9502fb77a96c0fe;hpb=ca93ab32faadf34ab43dd5de464dbd137895e82b;p=pspp

diff --git a/Smake b/Smake
index 1e54533169..d061973d12 100644
--- a/Smake
+++ b/Smake
@@ -48,11 +48,13 @@ GNULIB_MODULES = \
         mbiter \
 	memcasecmp \
 	memchr \
+	memchr2 \
 	mempcpy \
 	memrchr \
 	minmax \
 	mkdtemp \
 	mkstemp \
+	pipe2 \
 	printf-posix \
 	printf-safe \
 	progname \
@@ -62,12 +64,14 @@ GNULIB_MODULES = \
 	relocatable-prog \
 	rename \
 	round \
+	select \
 	snprintf \
 	snprintf-posix \
 	sprintf-posix \
 	stdarg \
 	stdbool \
 	stdint \
+	strcasestr \
 	stpcpy \
 	strerror \
 	strftime \