diff options
Diffstat (limited to 'extension/configure')
| -rwxr-xr-x | extension/configure | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/extension/configure b/extension/configure index 3bdccfc0..4ea8d3f8 100755 --- a/extension/configure +++ b/extension/configure @@ -15074,12 +15074,8 @@ $as_echo "#define TIME_WITH_SYS_TIME 1" >>confdefs.h fi -case `uname -m` in -*'Power Macintosh'*) - : ;; -*) - case $SKIP_MPFR in - no) +case $SKIP_MPFR in +no) # Check whether --with-mpfr was given. if test "${with_mpfr+set}" = set; then : @@ -15153,8 +15149,6 @@ $as_echo "#define HAVE_MPFR 1" >>confdefs.h unset _found_mpfr fi - ;; - esac ;; esac |