X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=Smake;h=14c19db98d67fca10a3d39e3539ad4368ed0b600;hb=04bf0e1fed86a5dc9032f2fc8d89ed6217b566e1;hp=21583c6d764c2591355aed8d919d7c589f5f905b;hpb=5060fdedfe17e843301ac0c738e12488af467378;p=pspp

diff --git a/Smake b/Smake
index 21583c6d76..14c19db98d 100644
--- a/Smake
+++ b/Smake
@@ -17,6 +17,7 @@ GNULIB_MODULES = \
 	fpieee \
 	full-read \
 	full-write \
+        fseeko \
 	fwriteerror \
 	gethostname \
 	getline \