X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=21e7ff18f777046c37cc1724e4cd06411e44ec10;hb=refs%2Fheads%2Fctables7;hp=3cf37f5df12a5e59bf5631a07c22b60b113c9dc0;hpb=21f20b8cb6460fd5ac9db7fde038bc00cfa80831;p=pspp

diff --git a/Smake b/Smake
index 3cf37f5df1..21e7ff18f7 100644
--- a/Smake
+++ b/Smake
@@ -62,6 +62,8 @@ GNULIB_MODULES = \
 	gettimeofday \
         getopt-gnu \
 	gitlog-to-changelog \
+	havelib \
+	iconv \
 	include_next \
 	isfinite \
 	isinf \
@@ -136,6 +138,7 @@ GNULIB_MODULES = \
 	unitypes \
 	unlocked-io \
 	vasprintf-posix \
+	verify \
 	version-etc \
 	version-etc-fsf \
 	vfprintf-posix \