Add helpers/update-support.sh.

2 files changed, 40 insertions, 0 deletions

diff --git a/helpers/ChangeLog b/helpers/ChangeLog
index 5e723ddf..eb94f693 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 00000000..122ef896
--- /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