[gawk-diffs] [SCM] gawk branch, gawk-4.2-stable, updated. gawk-4.1.0-2865-g146c12a

[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  146c12a4261302d0b8f8968b691d01303f4846d9 (commit)
      from  a89622fa57b3cf74e96b9f04c9cae897498155e9 (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=146c12a4261302d0b8f8968b691d01303f4846d9

commit 146c12a4261302d0b8f8968b691d01303f4846d9
Author: Arnold D. Robbins <address@hidden>
Date:   Thu Dec 28 20:19:51 2017 +0200

    New helper script: update-aux.sh.

diff --git a/helpers/ChangeLog b/helpers/ChangeLog
index 0833f7e..d4312fa 100644
--- a/helpers/ChangeLog
+++ b/helpers/ChangeLog
@@ -1,3 +1,7 @@
+2017-12-28         Arnold D. Robbins     <address@hidden>
+
+       * update-aux.sh: New script.
+
 2017-10-19         Arnold D. Robbins     <address@hidden>
 
        * 4.2.0: Release tar ball made.
diff --git a/helpers/update-aux.sh b/helpers/update-aux.sh
new file mode 100755
index 0000000..0d75848
--- /dev/null
+++ b/helpers/update-aux.sh
@@ -0,0 +1,22 @@
+#! /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/build-aux
+
+for i in $(cd $GL ; echo *)
+do
+       for dir in . extension/build-aux doc
+       do
+               if [ -f $GL/$i ] && [ -f $dir/$i ]
+               then
+                       cp $GL/$i $dir/$i
+               fi
+       done
+done

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

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


hooks/post-receive
-- 
gawk