diff options
author | Simon McVittie <smcv@collabora.com> | 2018-10-03 14:37:09 +0100 |
---|---|---|
committer | Simon McVittie <smcv@collabora.com> | 2018-10-03 16:14:57 +0100 |
commit | 2176ec1260b0f35e474db0446c117d53a51c2567 (patch) | |
tree | d50e4e81670c8b3b80f0db037f19876ea27df664 | |
parent | 179deebe2a250c2fe9a4efd4ac8e5f2d93298328 (diff) | |
download | dbus-glib-2176ec1260b0f35e474db0446c117d53a51c2567.tar.gz |
ci: Consistently use wget
This avoids also needing to install curl, which isn't in default
Ubuntu trusty Docker images.
Signed-off-by: Simon McVittie <smcv@collabora.com>
-rwxr-xr-x | tools/ci-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci-build.sh b/tools/ci-build.sh index f3363d6..8357db7 100755 --- a/tools/ci-build.sh +++ b/tools/ci-build.sh @@ -90,7 +90,7 @@ maybe_fail_tests () { # standalone. if ! command -v dbus-run-session >/dev/null; then drsdir="$(mktemp -d -t "d-r-s.XXXXXX")" - curl -o "$drsdir/dbus-run-session.c" \ + wget -O "$drsdir/dbus-run-session.c" \ "https://cgit.freedesktop.org/dbus/dbus/plain/tools/dbus-run-session.c?h=dbus-1.10.0" sed -e 's/^ //' > "$drsdir/config.h" <<EOF #include <stdlib.h> |