mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-04 13:04:14 +00:00
tool/ports: curl timeout and retry in check.mk
This commit is contained in:
parent
0fb5ce0918
commit
0ef20f7ece
@ -55,7 +55,7 @@ check: $(DOWNLOADS)
|
|||||||
# Check plain remote file
|
# Check plain remote file
|
||||||
#
|
#
|
||||||
%.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
|
%.archive: %.file
|
||||||
$(VERBOSE)true
|
$(VERBOSE)true
|
||||||
|
Loading…
Reference in New Issue
Block a user