X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=5362c276d723d4c1e41edda08b32fa308d8d0835;hb=60429959d82cbe0d27be3c150bb89c4a237cb3e8;hp=d6ebd795bf78db820bd6ceffe2e5d2516ef95979;hpb=2d1795bb0652c628d37d86b0cbd85628e9ff78b3;p=pspp

diff --git a/Smake b/Smake
index d6ebd795bf..5362c276d7 100644
--- a/Smake
+++ b/Smake
@@ -9,6 +9,7 @@ GNULIB_MODULES = \
 	byteswap \
 	c-ctype \
 	c-strtod \
+	clean-temp \
 	close \
 	configmake \
 	count-one-bits \
@@ -16,7 +17,6 @@ GNULIB_MODULES = \
 	crypto/md4 \
 	dirname \
 	environ \
-	exit \
 	fatal-signal \
 	fcntl \
 	fpieee \
@@ -27,9 +27,9 @@ GNULIB_MODULES = \
         ftello \
 	fwriteerror \
 	getline \
-	getopt \
 	gettext-h \
 	gettimeofday \
+        getopt-gnu \
 	gitlog-to-changelog \
 	isfinite \
 	isinf \
@@ -40,10 +40,7 @@ GNULIB_MODULES = \
         mbchar \
 	memcasecmp \
 	memchr \
-	memcmp \
-	memmove \
 	mempcpy \
-	memset \
 	minmax \
 	mkdtemp \
 	mkstemp \
@@ -62,7 +59,6 @@ GNULIB_MODULES = \
 	stdint \
 	stpcpy \
 	strcase \
-	strcspn \
 	strerror \
 	strftime \
 	strtod \
@@ -71,7 +67,6 @@ GNULIB_MODULES = \
 	strtoul \
 	sys_stat \
 	tempname \
-	tmpfile \
 	trunc \
 	unilbrk/ulc-width-linebreaks \
 	unistd \