From 2176ec1260b0f35e474db0446c117d53a51c2567 Mon Sep 17 00:00:00 2001 From: Simon McVittie Date: Wed, 3 Oct 2018 14:37:09 +0100 Subject: 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 --- tools/ci-build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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" < -- cgit v1.2.1