Merge branch 'feature/upstream' into develop

1 files changed, 21 insertions, 0 deletions

diff --git a/tools/update-upstreams.sh b/tools/update-upstreams.sh
new file mode 100755
index 0000000..3fde735
--- /dev/null
+++ b/tools/update-upstreams.sh
@@ -0,0 +1,21 @@
+#!/bin/sh -u
+# tools/update-upstreams.sh -- files to their latest version
+# Copyright (C) 2017, 2019  Olaf Meeuwissen
+#
+# License: GPL-3.0+
+
+fetch () {
+    if type curl 2>/dev/null >/dev/null ; then
+        curl --silent --location --remote-name $1
+        return
+    fi
+    if type wget 2>/dev/null >/dev/null ; then
+        wget --quiet --output-document $(echo $1 | sed 's,.*/,,') $1
+    fi
+}
+
+CONFIG_BASE_URL=https://git.savannah.gnu.org/cgit/config.git/plain
+
+for file in config.guess config.sub; do
+    fetch $CONFIG_BASE_URL/$file
+done