blob: 845eced0c8d7f4ca56a48a148ab6f67346687c58 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
#! /bin/bash
# This script is only useful for the maintainer ...
#
# It updates all the support/* 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
dynarray.h
flexmember.h
idx.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
malloc/dynarray_at_failure.c
malloc/dynarray_emplace_enlarge.c
malloc/dynarray_finalize.c
malloc/dynarray.h
malloc/dynarray_resize.c
malloc/dynarray_resize_clear.c
malloc/dynarray-skeleton.c"
for i in $FILE_LIST
do
if [ -f $GL/$i ] && [ -f support/$i ]
then
cp $GL/$i support/$i
fi
done
|