[SCM] gawk branch, gawk-5.1-stable, updated. gawk-4.1.0-3970-g30d1cbf

[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-5.1-stable has been updated
       via  30d1cbf9af83d28b390f0c7a9060d9d405814b72 (commit)
      from  c45655f619007b6b4dd8be03e09dba82a1cf1598 (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=30d1cbf9af83d28b390f0c7a9060d9d405814b72

commit 30d1cbf9af83d28b390f0c7a9060d9d405814b72
Author: Arnold D. Robbins <address@hidden>
Date:   Fri May 8 17:08:11 2020 +0300

    Update to dfa.c.

diff --git a/support/ChangeLog b/support/ChangeLog
index 6098e40..3d476f4 100644
--- a/support/ChangeLog
+++ b/support/ChangeLog
@@ -1,3 +1,7 @@
+2020-05-08         Arnold D. Robbins     <address@hidden>
+
+       * dfa.c: Sync from GNULIB.
+
 2020-04-26         Arnold D. Robbins     <address@hidden>
 
        * dfa.c: Speed improvements from Norihiro Tanaka <address@hidden>,
diff --git a/support/dfa.c b/support/dfa.c
index 7e67112..3a776b0 100644
--- a/support/dfa.c
+++ b/support/dfa.c
@@ -61,7 +61,9 @@ isasciidigit (char c)
 #include "localeinfo.h"
 
 #ifndef FALLTHROUGH
-# if __GNUC__ < 7
+# if 201710L < __STDC_VERSION__
+#  define FALLTHROUGH [[__fallthrough__]]
+# elif __GNUC__ < 7
 #  define FALLTHROUGH ((void) 0)
 # else
 #  define FALLTHROUGH __attribute__ ((__fallthrough__))

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

Summary of changes:
 support/ChangeLog | 4 ++++
 support/dfa.c     | 4 +++-
 2 files changed, 7 insertions(+), 1 deletion(-)


hooks/post-receive
-- 
gawk