summaryrefslogtreecommitdiff
path: root/tools/update-upstreams.sh
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff-webhosting.net>2019-07-31 17:00:58 +0200
committerJörg Frings-Fürst <debian@jff-webhosting.net>2019-07-31 17:00:58 +0200
commitd087d778ffb62e2713cb848540bcc819470365bd (patch)
treed69692a274dd1c7d0672e6bb7155a0fc106f9d49 /tools/update-upstreams.sh
parentc8bd2513ecba169cff44c09c8058c36987357b18 (diff)
parent3759ce55ba79b8d3b9d8ed247a252273ee7dade3 (diff)
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'tools/update-upstreams.sh')
-rwxr-xr-xtools/update-upstreams.sh21
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