From 0ef20f7ece011a98f8c474bd696d23e77c77e1ef Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Thu, 9 Apr 2015 11:35:15 +0200 Subject: [PATCH] tool/ports: curl timeout and retry in check.mk --- tool/ports/mk/check.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tool/ports/mk/check.mk b/tool/ports/mk/check.mk index b127761de..76169a5a0 100644 --- a/tool/ports/mk/check.mk +++ b/tool/ports/mk/check.mk @@ -55,7 +55,7 @@ check: $(DOWNLOADS) # Check plain remote file # %.file: - $(VERBOSE)curl -f -L -k -r -2 $(URL($*)) > /dev/null 2>&1 + $(VERBOSE)curl -f -L -k -r -2 --max-time 15 --retry 2 $(URL($*)) > /dev/null 2>&1 %.archive: %.file $(VERBOSE)true