X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=14c19db98d67fca10a3d39e3539ad4368ed0b600;hb=04bf0e1fed86a5dc9032f2fc8d89ed6217b566e1;hp=c716bae0d48764ed12e0ea92fc132252aaacf902;hpb=6f29d63f368e2d417d8ad208e5fd6e41b8778bca;p=pspp

diff --git a/Smake b/Smake
index c716bae0d4..14c19db98d 100644
--- a/Smake
+++ b/Smake
@@ -11,16 +11,20 @@ GNULIB_MODULES = \
 	byteswap \
 	c-ctype \
 	c-strtod \
+	crypto/md4 \
 	dirname \
 	exit \
 	fpieee \
 	full-read \
 	full-write \
+        fseeko \
+	fwriteerror \
 	gethostname \
 	getline \
 	getlogin_r \
 	getopt \
 	gettext-h \
+	gettimeofday \
 	intprops \
 	inttostr \
 	linebreak \