[SCM] gawk branch, gawk-5.1-stable, updated. gawk-4.1.0-4091-gca28ed3

[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  ca28ed34bb81cac9c434c864de7abfe9b4620c13 (commit)
      from  d389d4cd9e2d75159f69a23bfa6d038f74502b12 (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=ca28ed34bb81cac9c434c864de7abfe9b4620c13

commit ca28ed34bb81cac9c434c864de7abfe9b4620c13
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Aug 12 18:22:22 2020 +0300

    Add helpers/update-support.sh.

diff --git a/helpers/ChangeLog b/helpers/ChangeLog
index 5e723dd..eb94f69 100644
--- a/helpers/ChangeLog
+++ b/helpers/ChangeLog
@@ -1,3 +1,7 @@
+2020-08-12         Arnold D. Robbins     <arnold@skeeve.com>
+
+       * update-support.sh: New file.
+
 2020-07-22         Arnold D. Robbins     <arnold@skeeve.com>
 
        * update-aux.sh: Adjust for removal of build-aux from extension
diff --git a/helpers/update-support.sh b/helpers/update-support.sh
new file mode 100755
index 0000000..122ef89
--- /dev/null
+++ b/helpers/update-support.sh
@@ -0,0 +1,36 @@
+#! /bin/bash
+
+# This script is only useful for the maintainer ...
+#
+# It updates all the build-aux files from current GNULIB.
+# We don't bother to print any messages about what we copied,
+# as Git will tell us what, if anything, changed.
+
+(cd /usr/local/src/Gnu/gnulib && git pull)
+
+GL=/usr/local/src/Gnu/gnulib/lib
+
+FILE_LIST="cdefs.h
+dfa.c
+dfa.h
+flexmember.h
+intprops.h
+libc-config.h
+localeinfo.c
+localeinfo.h
+regcomp.c
+regex.c
+regexec.c
+regex.h
+regex_internal.c
+regex_internal.h
+verify.h
+xalloc.h"
+
+for i in $FILE_LIST
+do
+       if [ -f $GL/$i ] && [ -f $i ]
+       then
+               cp $GL/$i $i
+       fi
+done

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

Summary of changes:
 helpers/ChangeLog         |  4 ++++
 helpers/update-support.sh | 36 ++++++++++++++++++++++++++++++++++++
 2 files changed, 40 insertions(+)
 create mode 100755 helpers/update-support.sh


hooks/post-receive
-- 
gawk