diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2020-03-30 21:30:45 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2020-03-30 21:30:45 +0200 |
commit | ee770c2346eb37e0dcb8b6cf3eaacf3d8efd6bbc (patch) | |
tree | 58f05092be1a17a939e861f8cadcda1b6ca2ecef /tools/update-upstreams.sh | |
parent | 0da9e21872802cfc6e975b1ebaf9efb9e5934d84 (diff) | |
parent | fef76e17ed4c607ea73b81279f9ef1d7121be900 (diff) |
Merge branch 'release/experimental/1.0.29-1_experimental1'experimental/1.0.29-1_experimental1
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..3a5e94a --- /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 --location --remote-name $1 + return + fi + if type wget 2>/dev/null >/dev/null ; then + wget --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 |