X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fisnanf-nolibm;h=dba0878d735df3ca8dbefd188ba4fb3d8b41bfaf;hb=13ebbbd5b53127e51b34532465119c97ec6c23ca;hp=c178cc5711cbc41e551832fc8daf4f62dfb9df38;hpb=6a9b156fdf9c71c0bbc8bb0b3aa0262df5674dda;p=pspp

diff --git a/modules/isnanf-nolibm b/modules/isnanf-nolibm
index c178cc5711..dba0878d73 100644
--- a/modules/isnanf-nolibm
+++ b/modules/isnanf-nolibm
@@ -15,6 +15,10 @@ memcmp
 
 configure.ac:
 gl_FUNC_ISNANF_NO_LIBM
+if test $gl_func_isnanf_no_libm != yes; then
+  AC_LIBOBJ([isnanf])
+  gl_PREREQ_ISNANF
+fi
 
 Makefile.am: