From 9342fdd84c640be26fc0d8da524f0b19f8751358 Mon Sep 17 00:00:00 2001
From: Egor Tensin <Egor.Tensin@gmail.com>
Date: Sun, 13 Sep 2020 00:26:36 +0300
Subject: Makefile: better curl usage

---
 Makefile | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 5c780c7..da832f9 100644
--- a/Makefile
+++ b/Makefile
@@ -12,10 +12,12 @@ PROJECT := math-server
 export DOCKER_CLI_EXPERIMENTAL := enabled
 # Target platforms (used by buildx):
 PLATFORMS := linux/amd64,linux/armhf
-# Docker Hub credentials:
-DOCKER_USERNAME := egortensin
 # In case buildx isn't installed (e.g. on Ubuntu):
 BUILDX_VERSION := v0.4.2
+# Docker Hub credentials:
+DOCKER_USERNAME := egortensin
+
+curl := curl --silent --show-error --location --dump-header - --connect-timeout 20
 
 .PHONY: all
 all: build
@@ -108,7 +110,7 @@ fix-binfmt:
 .PHONY: buildx/install
 buildx/install:
 	mkdir -p -- ~/.docker/cli-plugins/
-	curl --silent --show-error --location -- 'https://github.com/docker/buildx/releases/download/$(BUILDX_VERSION)/buildx-$(BUILDX_VERSION).linux-amd64' > ~/.docker/cli-plugins/docker-buildx
+	$(curl) --output ~/.docker/cli-plugins/docker-buildx -- 'https://github.com/docker/buildx/releases/download/$(BUILDX_VERSION)/buildx-$(BUILDX_VERSION).linux-amd64'
 	chmod +x -- ~/.docker/cli-plugins/docker-buildx
 
 .PHONY: buildx/create
-- 
cgit v1.2.3