X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Smake;h=61c53b88159ef4590b1c6954e448ba9588db0840;hb=4aa40ed36fcdb13f73520945d804e6d3d8d52738;hp=aa05962fb63a502bbfaf5ebbc11bcd48fb1cf4b6;hpb=a2d859e5a4c8192257c04fd89b8336aa33b15363;p=pspp

diff --git a/Smake b/Smake
index aa05962fb6..61c53b8815 100644
--- a/Smake
+++ b/Smake
@@ -28,6 +28,8 @@ GNULIB_MODULES = \
 	gettext-h \
 	gettimeofday \
 	isfinite \
+	isinf \
+	isnan \
 	intprops \
 	inttostr \
 	localcharset \