X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;fp=Smake;h=aaf1ff90da4cf66ba579a0082e8a6db0aa473de0;hb=8a55f06f1878e987d1b3d0b09a74d58291c33887;hp=d2dc497ab8067185061c5e7db83adc87de9694e5;hpb=da4e969668bf31c5e5d79a78e5f9ac96a97b22a6;p=pspp-builds.git

diff --git a/Smake b/Smake
index d2dc497a..aaf1ff90 100644
--- a/Smake
+++ b/Smake
@@ -24,6 +24,7 @@ GNULIB_MODULES = \
 	getopt \
 	gettext-h \
 	gettimeofday \
+	isfinite \
 	intprops \
 	inttostr \
 	linebreak \
@@ -42,6 +43,7 @@ GNULIB_MODULES = \
 	printf-safe \
 	progname \
 	relocatable-prog \
+	round \
 	snprintf \
 	snprintf-posix \
 	sprintf-posix \