X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;fp=Smake;h=21e7ff18f777046c37cc1724e4cd06411e44ec10;hb=f6491a00fd9755850740aa45530498b6ae5d265a;hp=0b64221ca2c16358f80b1c2cef5b94e5e9e9ed4a;hpb=60b749cb3e39789ba69930085eb1deec2b24330e;p=pspp

diff --git a/Smake b/Smake
index 0b64221ca2..21e7ff18f7 100644
--- a/Smake
+++ b/Smake
@@ -62,6 +62,8 @@ GNULIB_MODULES = \
 	gettimeofday \
         getopt-gnu \
 	gitlog-to-changelog \
+	havelib \
+	iconv \
 	include_next \
 	isfinite \
 	isinf \