diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-07-31 17:00:20 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-07-31 17:00:20 +0200 |
commit | 3759ce55ba79b8d3b9d8ed247a252273ee7dade3 (patch) | |
tree | d69692a274dd1c7d0672e6bb7155a0fc106f9d49 /tools/update-upstreams.sh | |
parent | c8bd2513ecba169cff44c09c8058c36987357b18 (diff) | |
parent | 1687222e1b9e74c89cafbb5910e72d8ec7bfd40f (diff) |
Update upstream source from tag 'upstream/1.0.28'
Update to upstream version '1.0.28'
with Debian dir ec5bb298266630fc3801ff6dc0c258f6df7ba979
Diffstat (limited to 'tools/update-upstreams.sh')
-rwxr-xr-x | tools/update-upstreams.sh | 21 |
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 |