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
|
#!/usr/bin/env bash
# Script to update autoconf scripts in the GHC tree. Should be run prior to
# release.
set -e
tmp=`mktemp -d`
git -C $tmp clone https://git.savannah.gnu.org/git/config.git
commit=`git -C $tmp/config rev-parse HEAD`
echo "Updating to $commit..."
files=
for i in $(git ls-files | grep config.guess); do
echo $i
cp $tmp/config/config.guess $i
files="$i $files"
done
for i in $(git ls-files | grep config.sub); do
echo $i
cp $tmp/config/config.sub $i
files="$i $files"
done
git commit $files -m "Update autoconf scripts" -m "Scripts taken from autoconf $commit"
rm -Rf $tmp
|
