X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=fa1f26ca99b70f867f4c7452356a71814149db5a;hb=f994fab43f6aeb00cfb40d24c4c4c6ed518a05b9;hp=09a2e3e42b4b623efe46b9c049ca1480d67a1056;hpb=d11d6e038e2e60c6b876c7018ad181a08e6cef8d;p=pspp-builds.git

diff --git a/configure.ac b/configure.ac
index 09a2e3e4..fa1f26ca 100644
--- a/configure.ac
+++ b/configure.ac
@@ -303,8 +303,6 @@ gl_INIT
 
 AC_C_INLINE
 
-AC_CHECK_SIZEOF(double)
-
 AC_C_BIGENDIAN
 
 AC_CHECK_FUNCS([__setfpucw fork execl execlp isinf isnan finite getpid feholdexcept fpsetmask popen round])