diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2013-05-05 20:54:39 +0300 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2013-05-05 20:54:39 +0300 |
| commit | 17f95ed1d603ba06eabb419a02c9f6d75d19ea8e (patch) | |
| tree | f6288c063a2195d2b8a4b0ea4086211e2c71347c | |
| parent | f54fb7384efed492b6913f61a509cb7fe54fae13 (diff) | |
| download | egawk-17f95ed1d603ba06eabb419a02c9f6d75d19ea8e.tar.gz egawk-17f95ed1d603ba06eabb419a02c9f6d75d19ea8e.tar.bz2 egawk-17f95ed1d603ba06eabb419a02c9f6d75d19ea8e.zip | |
Fix the problem with MPFR build on Windows.
pc/config.sed (HAVE_MPFR): Don't #undef; it will be defined by
pc/Makefile as needed.
| -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\ |