diff options
Diffstat (limited to 'utils/update-autoconf.sh')
-rwxr-xr-x | utils/update-autoconf.sh | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/utils/update-autoconf.sh b/utils/update-autoconf.sh new file mode 100755 index 0000000000..85998a2c2a --- /dev/null +++ b/utils/update-autoconf.sh @@ -0,0 +1,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 |