X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=m4%2Ffloorl.m4;h=9790b96816b38ad50c6e6522996a0cbbdc3038aa;hb=b96ebffa5a9a0ba39c89c1b519142a2c5d324a11;hp=53a30f9d52b1666094461cdbe561c2d069fafb97;hpb=93c5ec22b9dcc15031556d647b5450fa6e645c21;p=pspp

diff --git a/m4/floorl.m4 b/m4/floorl.m4
index 53a30f9d52..9790b96816 100644
--- a/m4/floorl.m4
+++ b/m4/floorl.m4
@@ -1,4 +1,4 @@
-# floorl.m4 serial 5
+# floorl.m4 serial 6
 dnl Copyright (C) 2007, 2009-2010 Free Software Foundation, Inc.
 dnl This file is free software; the Free Software Foundation
 dnl gives unlimited permission to copy and/or distribute it,
@@ -20,9 +20,9 @@ AC_DEFUN([gl_FUNC_FLOORL],
       REPLACE_FLOORL=1
     fi
   else
-    REPLACE_FLOORL=1
+    HAVE_DECL_FLOORL=0
   fi
-  if test $REPLACE_FLOORL = 1; then
+  if test $HAVE_DECL_FLOORL = 0 || test $REPLACE_FLOORL = 1; then
     AC_LIBOBJ([floorl])
     FLOORL_LIBM=
   fi