diff options
Diffstat (limited to 'pc/config.sed')
| -rw-r--r-- | pc/config.sed | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pc/config.sed b/pc/config.sed index f70f9275..18d33297 100644 --- a/pc/config.sed +++ b/pc/config.sed @@ -108,6 +108,8 @@ s/^#undef HAVE_MEMSET *$/#define HAVE_MEMSET 1/ #define HAVE_MKSTEMP 1\ #endif s/^#undef HAVE_MKTIME *$/#define HAVE_MKTIME 1/ +/^#undef HAVE_MPFR *$/c\ +/* #undef HAVE_MPFR */ /^#undef HAVE_SETENV *$/c\ #if defined(__MINGW32__) || defined(__DJGPP__)\ #define HAVE_SETENV 1\ |