aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorSebastien Douheret <sebastien.douheret@iot.bzh>2018-07-06 09:39:37 +0200
committerSebastien Douheret <sebastien.douheret@iot.bzh>2018-07-06 11:28:41 +0200
commitc5e23a296c5fbf19500d2b7e56cd667d8487352c (patch)
treee5039eb6ac0b5463fb9ab7132c986ddd90506fc9 /Makefile
parent8f454ab11d3c0e9b6a40e125230539420dbbeb8b (diff)
Add retry (3 times) when glide download fails
Change-Id: I97d70664ed6e62831a70d46f721ed2024ee9b574 Signed-off-by: Sebastien Douheret <sebastien.douheret@iot.bzh>
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 3877ab7..bf711af 100644
--- a/Makefile
+++ b/Makefile
@@ -200,7 +200,7 @@ tools/glide:
@test -f $(LOCAL_TOOLSDIR)/glide || { \
echo "Downloading glide"; \
mkdir -p $(LOCAL_TOOLSDIR); \
- curl --silent -L https://glide.sh/get | GOBIN=$(LOCAL_TOOLSDIR) sh; \
+ curl --silent --connect-timeout 60 --retry 3 -L https://glide.sh/get | GOBIN=$(LOCAL_TOOLSDIR) sh; \
}
.PHONY: tools/syncthing