[gawk-diffs] [SCM] gawk branch, gawk-4.2-stable, updated. gawk-4.1.0-2959-g9d4eabd

[Arnold Robbins]

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, gawk-4.2-stable has been updated
       via  9d4eabdf68a3f251dcde079a8ff29ccf83fee122 (commit)
      from  4b98106ce555f9364541e941973852ddc4d34389 (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=9d4eabdf68a3f251dcde079a8ff29ccf83fee122

commit 9d4eabdf68a3f251dcde079a8ff29ccf83fee122
Author: Arnold D. Robbins <address@hidden>
Date:   Wed Apr 18 12:43:17 2018 +0300

    Define HAVE_STDBOOL_H for MinGW.

diff --git a/pc/ChangeLog b/pc/ChangeLog
index e623a9a..cdecbc4 100644
--- a/pc/ChangeLog
+++ b/pc/ChangeLog
@@ -1,3 +1,8 @@
+2018-04-18         Arnold D. Robbins     <address@hidden>
+
+       * config.sed: Add HAVE_STDBOOL_H for MinGW.
+       * config.h: Ditto.
+
 2018-03-22         Arnold D. Robbins     <address@hidden>
 
        * config.h: Add support for printf %a format.
diff --git a/pc/config.h b/pc/config.h
index 52d5a96..62c13f2 100644
--- a/pc/config.h
+++ b/pc/config.h
@@ -233,7 +233,7 @@
 #define HAVE_STDARG_H 1
 
 /* Define to 1 if stdbool.h conforms to C99. */
-#ifdef __DJGPP__
+#if defined(__MINGW32__) || defined(__DJGPP__)
 #define HAVE_STDBOOL_H 1
 #endif
 
diff --git a/pc/config.sed b/pc/config.sed
index a7ba878..315c9ca 100644
--- a/pc/config.sed
+++ b/pc/config.sed
@@ -142,7 +142,7 @@ s/^#undef HAVE_MKTIME *$/#define HAVE_MKTIME 1/
 #endif
 s/^#undef HAVE_STDARG_H *$/#define HAVE_STDARG_H 1/
 /^#undef HAVE_STDBOOL_H *$/c\
-#ifdef __DJGPP__\
+#if defined(__MINGW32__) || defined(__DJGPP__)\
 #define HAVE_STDBOOL_H 1\
 #endif
 /^#undef HAVE_STDDEF_H *$/c\

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

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


hooks/post-receive
-- 
gawk