Commit faa94d47 authored by Ben Gamari's avatar Ben Gamari 🐢 Committed by Ben Gamari

update-autoconf: Initial commit

parent 4e228267
#!/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
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment