X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=1709a1920d41175b553bd8439b27b54878b26791;hb=96713da011a94543ae50f70f8f8bf9aa5b323fa9;hp=21583c6d764c2591355aed8d919d7c589f5f905b;hpb=5060fdedfe17e843301ac0c738e12488af467378;p=pspp

diff --git a/Smake b/Smake
index 21583c6d76..1709a1920d 100644
--- a/Smake
+++ b/Smake
@@ -17,6 +17,7 @@ GNULIB_MODULES = \
 	fpieee \
 	full-read \
 	full-write \
+        fseeko \
 	fwriteerror \
 	gethostname \
 	getline \
@@ -61,6 +62,7 @@ GNULIB_MODULES = \
 	vsnprintf \
 	xalloc \
 	xalloc-die \
+	xmalloca \
 	xsize \
 	xstrndup \
 	xvasprintf