[gawk-diffs] [SCM] gawk branch, master, updated. 17f95ed1d603ba06eabb419a02c9f6d75d19ea8e

[Eli Zaretskii]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gawk".

The branch, master has been updated
       via  17f95ed1d603ba06eabb419a02c9f6d75d19ea8e (commit)
      from  f54fb7384efed492b6913f61a509cb7fe54fae13 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=17f95ed1d603ba06eabb419a02c9f6d75d19ea8e

commit 17f95ed1d603ba06eabb419a02c9f6d75d19ea8e
Author: Eli Zaretskii <address@hidden>
Date:   Sun May 5 20:54:39 2013 +0300

    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.

diff --git a/pc/ChangeLog b/pc/ChangeLog
index 4564662..36f801c 100644
--- a/pc/ChangeLog
+++ b/pc/ChangeLog
@@ -1,3 +1,8 @@
+2013-05-05  Eli Zaretskii  <address@hidden>
+
+       * config.sed (HAVE_MPFR): Don't #undef; it will be defined by
+       pc/Makefile as needed.
+
 2013-05-04  Eli Zaretskii  <address@hidden>
 
        * config.h (HAVE_MPFR): Don't #undef; it will be defined by
diff --git a/pc/config.sed b/pc/config.sed
index f70f927..18d3329 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\

-----------------------------------------------------------------------

Summary of changes:
 pc/ChangeLog  |    5 +++++
 pc/config.sed |    2 ++
 2 files changed, 7 insertions(+), 0 deletions(-)


hooks/post-receive
-- 
gawk