Remove dependency on external resources during CI. Fixes #178

The update-upstreams.sh script is kept for the convenience of those who
want or need to use it.  It has been slightly modified to provide more
feedback in case of error conditions.
merge-requests/228/merge
Olaf Meeuwissen 2019-12-02 20:40:20 +09:00
rodzic f41bd003d0
commit 311b9ff5bf
2 zmienionych plików z 2 dodań i 3 usunięć

Wyświetl plik

@ -25,7 +25,6 @@ make-dist:
- git ls-files | xargs ./tools/style-check.sh
- ./autogen.sh
- ./tools/create-changelog.sh
- ./tools/update-upstreams.sh
- ./configure
- make dist
artifacts:

Wyświetl plik

@ -6,11 +6,11 @@
fetch () {
if type curl 2>/dev/null >/dev/null ; then
curl --silent --location --remote-name $1
curl --location --remote-name $1
return
fi
if type wget 2>/dev/null >/dev/null ; then
wget --quiet --output-document $(echo $1 | sed 's,.*/,,') $1
wget --output-document $(echo $1 | sed 's,.*/,,') $1
fi
}