X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fisinf;h=e7f0bf966e7ff2fbbb80c2e2399dfc1c6c963ee9;hb=e585fc6b5f908f3e783fa23a1dfc492b82af8298;hp=1a8399fe7b648e95fb0d01949b5a6bcf33a69bec;hpb=7cbbd8a31a3be111f26d87fb8e55f4438f9c885f;p=pspp

diff --git a/modules/isinf b/modules/isinf
index 1a8399fe7b..e7f0bf966e 100644
--- a/modules/isinf
+++ b/modules/isinf
@@ -13,6 +13,9 @@ float           [test $REPLACE_ISINF = 1]
 
 configure.ac:
 gl_ISINF
+if test $REPLACE_ISINF = 1; then
+  AC_LIBOBJ([isinf])
+fi
 gl_MATH_MODULE_INDICATOR([isinf])
 
 Makefile.am: