X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Ffrexpl;h=9902aff0e0d2096140b59de62063bb4c9b8f35a8;hb=a49d519a875d441918b7bcb292d7d046cc7853ac;hp=d1f0159b638cf4fd43bcfcb4e771de5825bd22a8;hpb=7cbbd8a31a3be111f26d87fb8e55f4438f9c885f;p=pspp

diff --git a/modules/frexpl b/modules/frexpl
index d1f0159b63..9902aff0e0 100644
--- a/modules/frexpl
+++ b/modules/frexpl
@@ -13,6 +13,9 @@ fpucw           [test $HAVE_DECL_FREXPL = 0 || test $gl_func_frexpl = no]
 
 configure.ac:
 gl_FUNC_FREXPL
+if test $HAVE_DECL_FREXPL = 0 || test $gl_func_frexpl = no; then
+  AC_LIBOBJ([frexpl])
+fi
 gl_MATH_MODULE_INDICATOR([frexpl])
 
 Makefile.am: