update-autoconf: Initial commit
authorBen Gamari <ben@smart-cactus.org>
Wed, 24 Apr 2019 17:16:51 +0000 (13:16 -0400)
committerBen Gamari <ben@well-typed.com>
Thu, 25 Apr 2019 21:16:21 +0000 (17:16 -0400)
utils/update-autoconf.sh [new file with mode: 0755]

diff --git a/utils/update-autoconf.sh b/utils/update-autoconf.sh
new file mode 100755 (executable)
index 0000000..85998a2
--- /dev/null
@@ -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