X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=5362c276d723d4c1e41edda08b32fa308d8d0835;hb=0e21d88d0a4b1143e7c1c96707da42af932590e8;hp=b90bdbe829d252f9474b4771876d58caf4751515;hpb=e99991940478d76062c4ab8e44a5747354e33259;p=pspp

diff --git a/Smake b/Smake
index b90bdbe829..5362c276d7 100644
--- a/Smake
+++ b/Smake
@@ -17,7 +17,6 @@ GNULIB_MODULES = \
 	crypto/md4 \
 	dirname \
 	environ \
-	exit \
 	fatal-signal \
 	fcntl \
 	fpieee \
@@ -28,9 +27,9 @@ GNULIB_MODULES = \
         ftello \
 	fwriteerror \
 	getline \
-	getopt \
 	gettext-h \
 	gettimeofday \
+        getopt-gnu \
 	gitlog-to-changelog \
 	isfinite \
 	isinf \
@@ -41,10 +40,7 @@ GNULIB_MODULES = \
         mbchar \
 	memcasecmp \
 	memchr \
-	memcmp \
-	memmove \
 	mempcpy \
-	memset \
 	minmax \
 	mkdtemp \
 	mkstemp \
@@ -63,7 +59,6 @@ GNULIB_MODULES = \
 	stdint \
 	stpcpy \
 	strcase \
-	strcspn \
 	strerror \
 	strftime \
 	strtod \