update-autoconf.sh 620 Bytes
Newer Older
Ben Gamari's avatar
Ben Gamari committed
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