diff options
| -rw-r--r-- | pc/ChangeLog | 5 | ||||
| -rw-r--r-- | pc/config.sed | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/pc/ChangeLog b/pc/ChangeLog index 45646624..36f801c2 100644 --- a/pc/ChangeLog +++ b/pc/ChangeLog @@ -1,3 +1,8 @@ +2013-05-05 Eli Zaretskii <eliz@gnu.org> + + * config.sed (HAVE_MPFR): Don't #undef; it will be defined by + pc/Makefile as needed. + 2013-05-04 Eli Zaretskii <eliz@gnu.org> * config.h (HAVE_MPFR): Don't #undef; it will be defined by 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\ |