update-autoconf: Initial commit

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